Sorry, forgot to commit :) git push did nothing, and I didn't see it. Lg Gerald On 21.04.2015 20:49, Guido Scholz wrote: > but a "git push" seem to be missing yet.