new workaround for ubuntu 18.04
authorGuillaume Cottenceau <gc@mnc.ch>
Thu, 23 Aug 2018 08:18:04 +0000 (10:18 +0200)
committerGuillaume Cottenceau <gc@mnc.ch>
Thu, 23 Aug 2018 08:26:38 +0000 (10:26 +0200)
commitb79efcc3992033aca66152c207f38fcdb416f130
tree601859779b1326b4cb9486830f160a9ee0ad7def
parent4ff0a1f16ba67c17a57fcb82a6e031e3462b3006
new workaround for ubuntu 18.04
INSTALL