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

Reply via email to