Dear François, In message <30dd-5db71880-fd-21e4bb80@177122821> you wrote: > > > > This morning/lunch the following did work: https://www.xenomai.org, > while these did not: http://www.xenomai.org, https://xenomai.org > > > > > > Now it works as expected > > > > FWIW, there has been no intervention on the xenomai.org server since > this issue was reported. I'll have an in-depth look there anyway. > Thanks for the heads up.
We also did not do anything on our side, either. When I heard of the problems I tried it out from several addressesm, and all appeared to be working as expected. > > Well, problem might have been on my side then. > Everything seems back to normal now. OK, thanks. Best regards, Wolfgang Denk -- DENX Software Engineering GmbH, Managing Director: Wolfgang Denk HRB 165235 Munich, Office: Kirchenstr.5, D-82194 Groebenzell, Germany Phone: (+49)-8142-66989-10 Fax: (+49)-8142-66989-80 Email: [email protected] Generally speaking, there are other ways to accomplish whatever it is that you think you need ... - Doug Gwyn
