tree c7ee920e9e1b3ee4bc85ea934890b27e5cbb5bd2
parent b74072c2c1a2db7db101cd6fb2251c8ebe85c638
author Hervé Boutemy <hboutemy@apache.org> 1596176232 +0200
committer Hervé Boutemy <hboutemy@apache.org> 1596176232 +0200

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