On Mon 2024-01-29 22:51:40 +0530, Ayushman Tripathi wrote: > Yuchen, I've attached the updated patch, and for now, I've updated acorn to
> acorn@"<=8.7.1" as specified by you. Applied, thanks: 27e22fbbb0a0e9b04f1f772f9939aa8409b49441, and updated the html manual. > But in my last email, I've described that [email protected] also works > well. will take a look into that. > [... 38 lines elided] Best, Yuchen -- Dr Yuchen Pei | https://ypei.org | Timezone: UTC+11 PGP Key: 47F9 D050 1E11 8879 9040 4941 2126 7E93 EF86 DFD0 https://ypei.org/assets/ypei-pubkey.txt
