tree f43bb7801034335ead2aa193c82b7b290561fbd2
parent 4ab5eed35d80fe9aab7a7141de5b23c78030a194
author Davide Pesavento <davidepesa@gmail.com> 1585457895 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1585458271 -0400

build: switch to python3

Refs: #5095
Change-Id: I7e7a3a5cd49d69c6e389060ccf8fe30599ebd876