Bug fix for 2 pinholes.

8 jobs for !3756 with pinhole_bugfix in 125 minutes and 46 seconds (queued for 1 second)
merge request