Connecting to https://patchew.org/ makes my browser complain:
# patchew.org uses an invalid security certificate. # The certificate expired on 19 November 2017, 00:27:00 GMT. # The current time is 14 December 2018, 09:52. # Error code: SEC_ERROR_EXPIRED_CERTIFICATE which is a bit odd, given I don't think this has been broken since 2017. Did a cert-renewal script go wrong? thanks -- PMM
