It looks like JMeter PMC don't have karma to close other people's PRs. [That's probably because git is only a mirror.]
If the originator does not respond, try making a dummy commit with the appropriate 'this fixes #nnn' comment. On 18 July 2018 at 15:41, pmouawad <g...@git.apache.org> wrote: > Github user pmouawad commented on the issue: > > https://github.com/apache/jmeter/pull/393 > > Hello, > What is the purpose of this Pr ? > It looks like it’s empty. > > Can you close it please ? > > Thank you > > > ---
