There seems to be a rather long delay between committing a patch and being able to download that patch.
Well that really shouldn't be the case, but if you experience this problem again, let us know.
Kind regards,
Dirk Gerrits
It seems strange to me also. I will let you know if I see this again.
Eric