[sr-dev] git:master:1180b17e: Merge pull request #1633 from sergey-safarov/spec_update