tree 21d49259f30f22872abc13bf34191694b2511bca
parent 58a43f27b420d9a42d8197e628ead370125ce22e
parent f74cc296e73d07be248a3126a3ddeb29218af340
author gwenn <gtreguier@gmail.com> 1535279055 +0200
committer gwenn <gtreguier@gmail.com> 1535279055 +0200

Merge remote-tracking branch 'origin/configurer'