https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119335
--- Comment #2 from Simon Sobisch <simonsobisch at gnu dot org> --- That's totally fine if those are _really_ the files read-in as copybooks (if they were opened with an extension, then of course this should be in).
