Proposal section numbering messed up

Ben Gamari ben at
Mon Apr 15 15:07:57 UTC 2019

Simon Peyton Jones via ghc-devs <ghc-devs at> writes:

> Why does this proposal
> start with Section 36?  (It is proposal 36.)
> Lots of other proposals do this too.

That's a great question. The header contains

    .. sectnum::
      :start: 36

which mpickering added in [1]. mpickering, what was the motivation for


- Ben

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <>

More information about the ghc-devs mailing list