Hi! On Sat, Apr 10, 2010 at 9:07 PM, Markus Kittenberger <(spam-protected)> wrote: > we have a public repository, just push it, i guess no one will revert it *G To which version? Devel or stable? How/when is devel tree merged into stable? Mitar