Bug Tracker Home
Lost your login?
Created on 2017-09-23.19:27:29 by bf, last changed 2017-10-01.14:51:15 by gh.
This is a mixture of mostly unrelated stuff that came up during the last
days/weeks. Sending it separately from the main stuff I will be posting
All these patches look sensible to me. Tests pass. Accepted.