7 Jul
2022
7 Jul
'22
9:22 p.m.
Thank you, that is very nice of you and feels good to hear, but it looks like it won’t be necessary: The plan is to move all the documentation to Read the Docs.
On 07/07/2022, 20:22, "Michael Richardson" mcr@sandelman.ca wrote:
Janos Follath <Janos.Follath@arm.commailto:Janos.Follath@arm.com> wrote: > This was an unintended change. We had a series of unforeseen issues > with hosting.
:-(
I'm sure that many us are willing to help if the powers that be can permit such a thing.