Hi, "Neil Jerram" <[EMAIL PROTECTED]> writes:
> In practice, I believe the last commit with a ChangeLog change was > 31st August, so for the record (if needed) we can say that the switch > happened from 1st September onwards. Yes, I forgot to rename the ChangeLog files, etc., but I can do it later on today or this week-end if nobody else does. Thanks, Ludo'.
