Skip to content
Snippets Groups Projects

Remove unused lemma.

Passed
iris-dev created pipeline for commit 5df24900
, finished
For master
27 minutes 42 seconds, queued for 5 seconds