[sr-dev] git:5.2:f436f07e: Merge pull request #1713 from sergey-safarov/spec_update9