tree 6a4a58e64e2482df135aa428f72fc235ec8ecf40
parent 44198de956bda80f71191784ba8d0c0adbc0477c
author Davide Pesavento <davidepesa@gmail.com> 1710352836 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1710352836 -0400
gpgsig -----BEGIN SSH SIGNATURE-----
 U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAgUq1kTswyqVSwub8lqsj9jRjIUn
 OG0Hs5bGcrohWnIDgAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5
 AAAAQGMV6LbdHjtgS3muoiohMV8ykV5Uapuze10VEODbNqzq15pUq4wRy+waTAltIXDuh4
 7ix/8ARs77/TJPZk/90gM=
 -----END SSH SIGNATURE-----

build: make sphinx tool compatible with python 3.12

Refs: #5298
Change-Id: I111be2618356e988cd4da5aeb5ef14d75a89c3fe