Timothy <[email protected]> writes: > Since there have been no further comments, I’ve just pushed a tweaked version > of > this patch (with Max’s comments addressed and with a minor oversight fixed) as > 555dacfa8.
(Here again, sorry, the Woof! header is not read anymore.) Applied (for our BONE tracker at https://tracker.orgmode.org/.) -- Bastien
