On 26/01/2017 16:05, Miro Kropáček wrote: > Finally done. All repositories have been rewritten with correct names > and emails. Great! I didn't even hope that the branches would have survived. But they did. > Now browsing freemint or mintlib history is real pleasure. Indeed :-) -- Vincent Rivière