Revision 07aa01532e15686c28c7d383e395762d7b3ea7e0

Committed on 11/10/2019 12:35 pm by Luca Realdi <[email protected]> [GitHub Diff]

Corregge un bug per cui non venivano correttamente selezionate le richieste di prenotazione concorrenti