tree 23eb19173540adb5961c5bc163df929cd37134f9
parent 348563da707d43b4b9c03ab0f84bf6c35a45fd1a
author Hervé Boutemy <hboutemy@apache.org> 1596176041 +0200
committer Hervé Boutemy <hboutemy@apache.org> 1596176041 +0200

disable option currently not available on ci-builds.a.o