Comment by bdhcuidbebe

mirrors are all still unsynced since may 19, so announcement was premature