[sr-dev] git:4.4:fd1d83d4: Merge pull request #987 from sergey-safarov/spec_update5