FYI: https://docs.rtems.org has an expired certificate too.
On Wed, Aug 15, 2018 at 3:30 PM, Amaan Cheval <amaan.che...@gmail.com> wrote: > The HTTPS certificate for https://git.rtems.org has expired (~15 > minutes ago). Are the auto-renewal scripts failing? _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel