On Thu, 30 Mar 2023, Mark Wielaard wrote: >>> Business as usual - 301 Moved Permanently. >> Just FYI, dwarfstd is now hosted by sourceware too. So I doubt these >> URLs will change after this.
Famous last words. :-) > Indeed, see > https://inbox.sourceware.org/overseers/20230327222524.ga20...@gnu.wildebeest.org/ > > And thanks for taking care of these new redirects. Please do let us > (dwarf-disc...@lists.dwarfstd.org) know if any old URL is broken. Yes, I'll advise, though so far I am draw my hat for you handling this migration so smoothly: all links still have been working, and a proper redirect - "301, please adjust links" - been issued. Gerald