tree 2f831311c3e29d96d03bba82f06462d4d8b91537
parent 39f2681d891ba38c68cc4d3fa81757d3c612da05
author Luca Milanesio <luca.milanesio@gmail.com> 1738510466 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1738510529 +0000

Close Repository object when fetching changes from NoteDb

Avoiding leaking an open Repository object when
fetching the list of changes to delete from NoteDb.
Use the try-with-resource pattern for opening the repository
and then close it automatically when done.

Release-Notes: skip
Change-Id: I7c67e3ae47a1afe261eaccea1ed3a8a89cf297f4