Maybe we should also merge it into the 1.5 branch so that the online
manual is correct?  Maybe it's not worth the effort if the online
manual switches to the 1.6 version this week anyway.

Stefan

---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]

Reply via email to