Revision 96bfd7a1c8583c2ddb6e8c4f0a3da89325571bd3

Committed on 10/11/2020 1:42 am by Luca Realdi <lr@opencontent.it> [GitHub Diff]

Add patch operation