Downtime for devel.rtems.org
gedare at rtems.org
Fri Feb 10 15:09:45 UTC 2023
Thanks, things look good.
On Fri, Feb 10, 2023 at 12:15 AM Amar Takhar <amar at rtems.org> wrote:
> 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.
> devel mailing list
> devel at rtems.org
More information about the devel