Christophe Gisquet <christophe.gisquet <at> gmail.com> writes: > The sanest thing to do (and that you are hinting at) > is to just drop it. I thought that 2/5 is not correct (but wasn't sure). Patch sent, Carl Eugen