[sr-dev] git:master:bdd16fae: Merge pull request #1230 from sergey-safarov/spec_update11