Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
MPR#7443: fix spurious "unused open" warnings in presence of local open in patterns #990
No problem! The reason why I use the feature is that I like it :-)
The patch looks highly non-invasive, so I would tempted to propose to merge it without disturbing @alainfrisch between his turkey and his champagne.
(You could mention the GPR number in the Changes entry.)