Re: TOC: List of Figures

> On 8 Jul 2019, at 22:10, Tom Lane <[email protected]> wrote:

> let's wait till there's a
> meaningful number of figures and then reconsider whether there's use in
> a list of them.  It's not like it will be any harder to make that change
> in a year or two than it is today.

In that case, let’s record this in the commitfest app and punt it forwards
towards the release as the CFs move along so we don’t forget to re-evaluate in
the last commitfest before 13.

cheers ./daniel