Workarounds build issues potentially occuring on some GNU/Linux destributions.

This commit is contained in:
François Grisez 2018-04-09 16:10:42 +02:00
parent 3a9106c0dd
commit 74b8da045e

@ -1 +1 @@
Subproject commit 8b5c4e0305b8a0fa5c73e4bd49710b8b43e2d973 Subproject commit f75c58bbef21318b8427fb7337c714b8badd7b88