Re: [O] [PATCH] Nicer fontification for org-todo-list

[Ingo Lohmar]

Hi Bastien and all,

Is anything still to be fixed before the patch that I sent can be
applied?  I am curious since there was no reaction and no change in the
repo as far as I can tell...

Best
Ingo