Commit 65d07eece1daee6460bd2d4fcb85253ce9b05ea5

Vincent Torri 2020-05-01T13:07:11

Add configure option to disable tests