Commit f29da12559f8381973b4f7442ed50978711188fe

Thomas de Grivel 2017-01-26T13:31:27

Fix repo install.