gui/doc
Matthew Flatt 99bba880ea adjust release notes for 5.0.2
Merge to 5.0.2

original commit: 0b73790ac0097cad30281471833f61df25184463
2010-10-22 14:07:35 -06:00
..
release-notes/gracket adjust release notes for 5.0.2 2010-10-22 14:07:35 -06:00