Revision 789173640e61ecfdad0b500cb8f47538b6d00113

Committed on 09/12/2023 2:00 am by Christophe Coevoet <stof@notk.org> [GitHub Diff]

Drop support for old PHP versions