Thank you! Looks perfect!
Am Sa., 18. März 2023 um 19:58 Uhr schrieb Arthur A. Gleckler <[email protected]>: > > On Sat, Mar 18, 2023 at 8:59 AM Arthur A. Gleckler <[email protected]> > wrote: >> >> The srfi command in srfi-tools will generate one for you: > > Don't worry about it. Since I've already merged the change, I'll add it > myself.
