[sr-dev] git:master:32b4d1e6: Merge pull request #942 from ffontaine/master