Revert "Remove old FIXME."
Passed
Robbert Krebbers
created pipeline for commit
7e6a682e
, finished
For master
9 minutes 1 second, queued for 2 seconds