Very cool. Tough, as often times it's a question of cost-benefit analysis and it's definitely possible the developer didn't feel it was a high priority enough issue (against other bugs, against shipping by a certain date, against other projects), so it's awesome that someone from the community could choose to fix the issue in their stead. Obviously not ideal, but very cool nevertheless.