On Sun, Aug 13, 2017 at 10:25 AM, Noah Misch <noah(at)leadboat(dot)com> wrote:
> Committed. These counts broke three times in the v10 release cycle. It's too
> bad this defect doesn't cause an error when building the docs.
That's another argument for generating the table dynamically. Thanks
for the commit.
--
Michael