Forgot to commit prelude/sorting, this fixes 6dbe0c27.

1 job for master
Status Job ID Name Coverage
  Test
passed #562
coq
buildjob

00:04:18