Dear Tobias, The patch itself seems obvious enough. I have just a nit pick with the grammar of
"Don't warn for unused dummy arguments when it is used in namelists" I think it should be either "a dummy argument" or "when they are". Probably something such as "Don't warn as unused for dummy arguments appearing in namelists" would be easier to parse. Thanks for the patch, Dominique