Update a bug number to use SourceForge's new numbering scheme.
Authored by: david_costanzo 2017-01-23
Parent: [r4258]
Child: [r4260]