While you're at it, please also explicitly test the minimum Python 3 version
supported (3.2?).
We also need to update the buildbot scripts and make sure that the buildbot
scripts test Python 3.2 rather than a generic python3.
We also need to update the documentation (ObtainingAndRunningFastDownward,
ForDevelopers).
|