6 Mar
2007
6 Mar
'07
8:36 p.m.
Vladimir, On Mar 6, 2007, at 12:11 PM, Vladimir Prus wrote:
Vladimir Prus wrote:
Thomas Witt wrote:
Also please wait with marking until I got around setting a tag in cvs.
Any estimate when such a tag will be set?
PING?
Once we've dealt with the recently introduced regressions in optional. That is unless we break something else in the meantime. Thomas -- Thomas Witt witt@acm.org