Thanks for the bug report, or should I say, feature request.
This is really the kind of thing that the upstream developer might
want to consider; I wouldn't feel comfortable making it a debian-only
patch, given the pace of upstream development. I will go ahead and
forward it there, but for future issues of this sort you might want to
talk to upstream directly; it is on github, and very accessible.
Cheers,
--Barak.
--
Barak A. Pearlmutter
Hamilton Institute & Dept Comp Sci, NUI Maynooth, Co. Kildare, Ireland
http://www.bcl.hamilton.ie/~barak/
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
