Reply to thread

It seems like Sourceforge is out of sync again. Just wait a couple of hours (heard of several days) and you can get the correct sources again. It's an automatism to sync the builder's sources with the anonymous sources. Nothing else helps.