turn off 18-bbox21 that is known to be broken
[infrastructure.git] / scripts / 5.2.5.sh
2013-06-29 Thierry Parmentelat5.2.5