>>>>> "DB" == Dmitry Bogatov <KAction at debian.org> writes: DB> Is there still interest in this bug? Yes. DB> The change is quite trivial, but I have to be sure that there is still DB> someone who want it.