Skip to content

Fix regression in iGPS caused by eebe055b.

Robbert Krebbers requested to merge ci/robbert/iFrame_later into master

As reported by @jjourdan: framing now no longer back tracks on whether to strip laters or not. When framing below a later, we now only make it strip laters of the head of the frame.

Merge request reports