fix accidental left over $version

7 jobs for fix_todo in 192 minutes and 45 seconds (queued for 5 seconds)
latest
Status Name Job ID Coverage
  Make
passed run_make #9070
docker2

00:16:56

 
  Test
passed run_test #9071
docker2

00:42:22

 
  Doc
passed make_manual #9072
docker2

02:54:26

 
  Package Release
passed bundle_tar #9073
docker2

00:00:38

 
  Upload Release
passed upload_nightly #9074
docker2

00:00:41

 
  Curry Lang
passed link_nightly #9075
docker2

00:00:43

 
  Curry Lang Ci
passed downstream