hi,
because i am not a git expert, i did not start cleanup yet. i will
hopefully talk to harald on the phone this week. he might give me some
hints about cleaning up my two branches (jolly and jolly_pcu). as soon
as it is done, i will inform you on this list.
regards,
andreas