Re: Merging the new gropdf

2023-11-07 Thread Deri
On Tuesday, 7 November 2023 19:48:51 GMT G. Branden Robinson wrote: > Hi Deri, > > At 2023-11-07T17:33:06+, Deri wrote: > > On Monday, 6 November 2023 17:47:13 GMT G. Branden Robinson wrote: > > > Slowly. I landed two small changes this weekend, but they're not > > > things most folks are loo

Re: Merging the new gropdf

2023-11-07 Thread G. Branden Robinson
Hi Deri, At 2023-11-07T17:33:06+, Deri wrote: > On Monday, 6 November 2023 17:47:13 GMT G. Branden Robinson wrote: > > Slowly. I landed two small changes this weekend, but they're not > > things most folks are looking for. > > Thanks for this. Hoping to do more soon! > > * The sheer magnit