On Mon, 14 Oct 2019 13:37:51 +1100 (AEDT), Julien Fischer <jfischer at opturion.com> wrote: > > Maybe dir_contents should be added to the "dir" library? > > I'm not convinced that it is generally useful enough to warrant > inclusion it the standard library. I think it is useful enough. Zoltan.