On Sat 24 Dec 2016 20:08, Linas Vepstas <linasveps...@gmail.com> writes:
> Seems to me this bug report can be closed as "not a bug", given the > post above. Sounds good to me. Feel free to do this in the future; you just have to add "-done" to the bug email (as above). Cheers! Andy
