history updated for 5.3.2; PLEASE MERGE

This commit is contained in:
Matthias Felleisen 2013-01-22 10:31:25 -05:00
parent c02dab0516
commit bcec8bc26e

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