Re: Adding doubly linked list type which stores the number of items in the list

[David Rowley]

On Tue, 1 Nov 2022 at 23:19, David Rowley <dgrowle...@gmail.com> wrote:
> If nobody has any objections, I plan to push this tomorrow morning New
> Zealand time (around 10 hours from now).

Pushed.  Thank you both for reviewing this.

David