Reinhard, I think this bug merits a stable release update, especially since it's such a trivial change.
Reinhard, I think this bug merits a stable release update, especially since it's such a trivial change.