Aaron Bentley <aaron.bentley at utoronto.ca> writes: > I don't think it was knits, because they were merged into the mainline > in 1596, ah yes, I remember it well... we were at war with Spain... oh... `revision' you mean... never mind ;-) --Denys