Revision 8bdf97839eb81ae6aa00fc9eee8fa50e411d17bb

Committed on 21/02/2023 9:41 am by Luca Realdi <luca.realdi@opencontent.it> [GitHub Diff]

Add node_id_from_remote_id function var