Closed nh13 closed 10 months ago
Thanks. I've added a couple missing from other headers too. No need to reorder them just now, as I think the way forward for this functionality is for these two tables to largely go away — see further comments on #1237.
Thanks @jmarshall !
See #1237