Re: [NTG-context] section numbers in margin eventually get placed too far left

On 2013–09–18 Sanjoy Mahajan wrote:

Marco Patzer writes:

...

No need to wikify. It was a bug which has already been fixed in the latest beta.

Hans is too fast!

Note to self: Test every bug candidate also against the latest beta.

I meant that Hans already uploaded the new fixed beta. Marco