Pin version of Python required by the user (!320) · Merge requests · bob / bob.devtools

André Anjos requested to merge issue-109 into master Sep 15, 2022

This MR closes #109 (closed) by enforcing the user's choice of Python version into the dependence list.

Edited Sep 15, 2022 by André Anjos

Pin version of Python required by the user