For documentation purposes:
It seemed easier, or the same amount of work, to close this report, and start 
fresh. The minor, trivial, tiny issue, or so I believe, is at 
[bug #1127398](https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1127398). It 
could be that replacing BSD with BSB was deliberate. I can't tell.

Reply via email to