tree 31fadd64e251f7b2bbe614cdf45ccb8e97bcb8d5
parent 4e5bb2816fb9b6d85779b47e758b37b483e36191
author Luca Milanesio <luca.milanesio@gmail.com> 1714142538 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1714145269 +0000

Support any Python 3 version for building

Do not fail to build the site when using a Python
version more recent than 3.7.

Change-Id: Ia58785658b6dac1806813d7ec24e5b388e47b393