Revision b0a14c388cf549ec86a13142a03472b2eafd527d

Committed on 17/12/2023 11:56 pm by Luca Realdi <[email protected]> [GitHub Diff]

Corregge un bug nel blocco di ricerca