From 42a1012e665e9715d37f68b66fbd71731608a917 Mon Sep 17 00:00:00 2001 From: Matthias Felleisen Date: Tue, 22 Jan 2013 10:31:25 -0500 Subject: [PATCH] history updated for 5.3.2; PLEASE MERGE (cherry picked from commit bcec8bc26e481acdfd53deea1c665a3c9dc3cbcd) --- doc/release-notes/teachpack/HISTORY.txt | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/doc/release-notes/teachpack/HISTORY.txt b/doc/release-notes/teachpack/HISTORY.txt index e4def0fb17..4a82bf748b 100644 --- a/doc/release-notes/teachpack/HISTORY.txt +++ b/doc/release-notes/teachpack/HISTORY.txt @@ -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