daemond@ibm.net writes:
> Simple problem so I didn't feel like filling out a pr.

We have a PR system so that we don't lose track of bug reports. If you
don't fill out out a PR, your bug report will almost inevitably be
lost. Given that "send-pr" is as easy to use as sending a normal mail
message, there is rarely reason not to use it.

Perry