[sr-dev] git:5.1:84f00468: Merge pull request #1708 from sergey-safarov/spec_update10