Hi Joël, > First: now that there is a mirror on github, should we report bugs there? We didn't decide yet. > Now with the issue, it's an assertion failure happening when I try to build > a repository that I put online for the occasion: Thanks for the report. Best regards, Karen