[sr-dev] git:master:0eaf73bd: Merge pull request #1260 from sergey-safarov/spec_update