Merge branch 'dev' into 169-dev-singulars-plurals

4 jobs for 169-dev-singulars-plurals in 135 minutes and 57 seconds (queued for 5 seconds)
Status Job ID Name Coverage
  Cabal
passed #12198
cabal

01:07:41

 
  Stack
passed #12199
stack

00:02:37

 
  Bench
manual #12200
allowed to fail manual
bench
 
  Test
passed #12201
test

01:05:39