Merge branch 'revert-44b0223a' into 'dev'

Revert "Merge branch 'adinapoli/bump-process' into 'dev'"

See merge request !427
4 jobs for dev in 39 minutes and 31 seconds (queued for 21 minutes and 17 seconds)
Status Job ID Name Coverage
  Cabal
passed #18772
cabal

00:16:52

 
  Stack
passed #18773
stack

00:02:20

 
  Bench
manual #18774
allowed to fail manual
bench
 
  Test
passed #18775
test

00:20:19