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