>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
Juergen> You're right, they are indeed listed there. It's a bug Juergen> (having the starred headings there does not make sense). I'll Juergen> file a report on bugzilla. I have attached a patch to bug 2910. Juergen, could you have a look at that? JMarc
