adopt similar approach in delete leases, although this was harmless
authorparmentelat <thierry.parmentelat@inria.fr>
Mon, 14 Jan 2019 20:11:32 +0000 (21:11 +0100)
committerparmentelat <thierry.parmentelat@inria.fr>
Mon, 14 Jan 2019 20:11:32 +0000 (21:11 +0100)
commit28d7d3517f7c3de04ce65d449a0e948fde226863
treead68fea5364192d1b980148abfc2cb6e49d4436a
parentb56805d9306204eb657ce284b8df6dc23d7fd812
adopt similar approach in delete leases, although this was harmless
PLC/Methods/DeleteLeases.py