Nicolas George <nicolas.george <at> normalesup.org> writes: > > While it has no similarities with a valid bug report, it appears > > that ticket #1284 indicates there is such a system. > I saw the ticket too, thanks. I just sent a pair of patches. Thank you! Carl Eugen