Do we still need `forceFlags`?
We still carry the function flagtools.forceFlags
around. With the new flagger, this actually not needed anymore, right? Should we throw it out, then?
We still carry the function flagtools.forceFlags
around. With the new flagger, this actually not needed anymore, right? Should we throw it out, then?