On Sat, Jan 15, 2022, at 7:11 PM, James E Keenan wrote: > Should the URL entry in '02packages.details.txt' be changed to that of > the redirect?
Yes, and I have filed https://github.com/andk/pause/pull/378 -- rjbs
On Sat, Jan 15, 2022, at 7:11 PM, James E Keenan wrote: > Should the URL entry in '02packages.details.txt' be changed to that of > the redirect?
Yes, and I have filed https://github.com/andk/pause/pull/378 -- rjbs