Skip to content
Snippets Groups Projects

make list.<lemma> work again

Passed
Ralf Jung created pipeline for commit 51591430
, finished
Related merge request !595 to merge ralf/list-module
2 minutes 58 seconds, queued for 2 seconds