From: Gabriel Dos Reis (gdr_at_[hidden]) Date: 2004-12-29 14:17:22
"Arkadiy Vertleyb" <vertleyb_at_[hidden]> writes:
| Any idea if it is going to be fixed and when?
Things get fixed quicker when actual PRs are submitted.