Hi, as announced a few days ago, we are starting the Git repository split right now. Ironically on the national German holiday, celebrating the unification of West and East Germany. :-) Wish us all good luck, Jan. -- Jan Schneider The Horde Project https://www.horde.org/