Revision b0a14c388cf549ec86a13142a03472b2eafd527d

Committed on 17/12/2023 11:56 pm by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

Corregge un bug nel blocco di ricerca