[sr-dev] git:master:08836b31: Merge pull request #1494 from sergey-safarov/spec_update