history updated for 5.3.2; PLEASE MERGE

(cherry picked from commit bcec8bc26e)
This commit is contained in:
Matthias Felleisen 2013-01-22 10:31:25 -05:00 committed by Ryan Culpepper
parent 5f8c473b55
commit 42a1012e66

View File

@ -1,3 +1,9 @@
------------------------------------------------------------------------
Version 5.3.2 [Tue Jan 22 10:30:15 EST 2013]
* batch-io extended with access to stdin and stout
------------------------------------------------------------------------
Version 5.3.1 [Wed Oct 31 14:52:48 EDT 2012]
* bug fixes