Juan Carlos Castro y Castro wrote: > Did a svn up, and I don't see it right now in trunk: You need to have patience. It takes some time for the commits to make their way out to the public mirror server.