The corpora filter does not filter the corpora

I like this issue name.

1. Forget to check the name filter and merge !1336 (merged)
2. Go review some other MR
3. Try to use the name filter for some reason
4. It filters nothing
5. Cry
6. Make @mlbonhomme cry

changed milestone to %Arkindex 1.3.3

added Bug + 1 deleted label

assigned to @mlbonhomme

mentioned in merge request !1339 (merged)

mentioned in commit 786a4089

closed