Hi!
Seems like rtems.org now has this issue. On Thu, Aug 16, 2018 at 6:09 AM Chris Johns <chr...@rtems.org> wrote: > > On 15/8/18 11:19 pm, Amaan Cheval wrote: > > 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? > > Thank you for the notice. Amar has resolved this issue. > > Chris _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
