tree cae6d67fdb65d81a85cf08c9e64b6a3f6df797c5
parent ce9c1952ffebe881b6d2d76e01cd500c62c6188b
author Davide Pesavento <davidepesa@gmail.com> 1584744156 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1585018523 -0400

build: switch to python3

Refs: #5095
Change-Id: Iedc107d41d4832682071986678b015980354786d