Missing file
Merge pull request #1170 from emmanuel-keller/1.6

Missing file