Revision 16adad9fb8aba2115e6db1cea9dc9e26496686a7

Committed on 10/12/2017 3:22 am by Emmanuel DROUET <emmanuel.drouet@gmail.com> [GitHub Diff]

fix permissions