Follow-up from "Fix tidy warning `bugprone-suspicious-include`"
The following discussion from !9647 (merged) should be addressed:
-
@mwestphal started a discussion: (+1 comment) I'm happy to see this fixed but isn't that MR the same as the one @ben.boeckel asked me to rewrite ?
Follow the same pattern as used in !9562 (merged).