K 10
svn:author
V 3
gjb
K 8
svn:date
V 27
2012-11-09T04:52:15.905262Z
K 7
svn:log
V 114
Belatedly (by many years!) bump the version numbers in the src/-side
documentation pages.

Saddened by:	this file

END