Re: [PATCH] Fix verbatim block fontification to end blocks on headlines

[Bastien]

Hi Tom and Nicolas,

just a heads up on this thread to confirm that Tom assignment has been
registered by the FSF on Dec. 23rd, so the patch is included in 9.3.1.

Thanks again for the patch, Tom.

Best,

-- 
 Bastien