Commit 22a22c64 by Christophe Geuzaine

no lin32 for now

parent ef2b88ae
Pipeline #500 failed with stage
in 80 minutes 6 seconds