From: Jaakko Jarvi (jajarvi_at_[hidden])
Date: 2003-10-08 13:14:23
> So, my sense is that it should be removed, if only because it will
> make automatic checking simpler.
Ok. I'll move the issue forward here. Will take a few days.
Jaakko