Revision fed67750725ef84eac0ed383b1771c513cc49e12

Committed on 21/03/2023 3:22 am by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

Add lock status feature