03-28-2016, 01:36 AM
(This post was last modified: 03-28-2016, 01:36 AM by LogicParrot.)
(02-14-2016, 09:26 AM)tigerw Wrote: Is this a problem which needs fixing? Eventually someone will get around to them; if not the author, one of the maintainers.
Maybe not. Maybe yes. I've observed abandoned PRs (that nobody got to) and I thought it's at least worth discussing. I don't know if this needs fixing.