[sr-dev] git:master:8409d05a: Merge pull request #1089 from sergey-safarov/spec_update7