Thanks, things look good.
On Fri, Feb 10, 2023 at 12:15 AM Amar Takhar <a...@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@rtems.org > http://lists.rtems.org/mailman/listinfo/devel _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
