On Thu, Apr 30, 2020 at 08:58:01PM -0400, Jonathan Frederickson wrote:
Thanks! I pushed as ecd56cd1b223733c3ec04043fec245acf4c1cdb8 after
adding a copyright line for you and changing the license field to gpl2+,
since the license header of 'src/plugin.c' includes the "or any later