[sr-dev] git:master:00b2d6a1: Merge pull request #1214 from sergey-safarov/spec_update10