Alegorie patch 1 1#6

alegorie wants to merge 2 commits intoalegorie-patch-1alegorie/amis:alegorie-patch-1from

alegorie-patch-1-1alegorie/amis:alegorie-patch-1-1Copy head branch name to clipboard