Missing file
Merge pull request #1172 from emmanuel-keller/1.5

Missing file