[sr-dev] git:5.1:216f8de9: Merge pull request #1637 from sergey-safarov/spec_update