[sr-dev] git:4.4:e0dc5f12: Merge pull request #1114 from sergey-safarov/spec_update9-44