Downtime for devel.rtems.org

Amar Takhar amar at rtems.org
Fri Feb 10 07:15:47 UTC 2023


Everything should be back up and running again please let me know if there are 
any issues.

The only user-facing service we have using the database is 
https://devel.rtems.org/ so no other service is affected by this.


Amar.


More information about the devel mailing list