Re: [O] [PATCH] Normalize the construction of outline-container DIV ID

[Bastien]

Hi Francesco,

"Francesco Pizzolante"
<fpz-djc/ipccudyqhejpep6iedvlejwur...@public.gmane.org> writes:

> I propose a patch to always build the outline-container DIV ID the same way by
> using the inner headline ID (when exporting to HTML).

Applied, thanks.

-- 
 Bastien