Move `list_find` to misc.
Canceled
Robbert Krebbers
created pipeline for commit
e400a5b1
, finished
Related merge request !594 to merge ralf/list-split
2 minutes 49 seconds, queued for 1 seconds