[sr-dev] git:master:56df10c5: Merge pull request #988 from sergey-safarov/spec_update6