no need to build separately bootcd master, this is now in *-tags.mk
[infrastructure.git] / scripts / 5.3.2-broken.sh
2014-03-27 Thierry Parmentelat5.3.2 was broken for f14, and we need the f20 version...