tree ba4cbb2c5e3f63368c817bbaabdd61d6f4ee162e
parent 7211ea1fffcccb50a094244551f9319a6f64e7ff
author Davide Pesavento <davidepesa@gmail.com> 1710193853 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1710193853 -0400

build: make sphinx tool compatible with python 3.12

Refs: #5298
Change-Id: Id1c05a01a1f4e1f8a88f945d007db97c0f95573a