Downtime for devel.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.
>
>
> Amar.
> _______________________________________________
> devel mailing list
> devel at rtems.org
> http://lists.rtems.org/mailman/listinfo/devel