From a5984078ff9369276c92135a80027ce7d98d1c56 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Thu, 23 Oct 2008 14:40:18 +0000 Subject: [PATCH] Update library version numbers in the release notes --- docs/users_guide/6.10.1-notes.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/users_guide/6.10.1-notes.xml b/docs/users_guide/6.10.1-notes.xml index 442618f..bd3656c 100644 --- a/docs/users_guide/6.10.1-notes.xml +++ b/docs/users_guide/6.10.1-notes.xml @@ -980,7 +980,7 @@ Prelude> - Version number 1.6.0.0 (was 1.2.4.0) + Version number 1.6.0.1 (was 1.2.4.0) @@ -1030,7 +1030,7 @@ Prelude> - This is a new bootlib, version 0.2.0.0. + This is a new bootlib, version 0.2.1.0. -- 1.7.10.4