CHANGELOG entry.
Passed
Robbert Krebbers
created pipeline for commit
1003c61b
, finished
Related merge request !450 to merge robbert/mul_reg
4 minutes 34 seconds, queued for 4 seconds