Enhance fix of 0b81a300d9e7cf78b6bc11d8c870f57fa81fcdc4.
[mmh] / DATE
2008-04-27 Peter MaydellBump version number, date for release of 1.3 RC1
2003-06-30 Glenn Burkhardtbump date so everything gets a new timestamp for 1.1
2000-12-30 Shantonu SenCreated DATE that contains a datestamp used in the...