chase isabelle
Nov 12, 2022

--

There is this errgroup package that I recently discovered. I've not played with it yet, but thought it might be worth a mention.

--

--

Responses (1)