[sr-dev] git:5.1:997ed8ad: Merge pull request #1638 from sergey-safarov/spec_update2