Merge branch 'dev' into 169-dev-revert-fix

4 jobs for 169-dev-revert-fix in 105 minutes and 9 seconds (queued for 193 minutes and 56 seconds)
latest
Status Job ID Name Coverage
  Cabal
passed #11870
cabal

00:47:39

 
  Stack
passed #11871
stack

00:02:49

 
  Bench
manual #11872
allowed to fail manual
bench
 
  Test
passed #11873
test

00:54:40