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/[email protected]/ > > And thanks for taking care of these new redirects. Please do let us > ([email protected]) 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
