tree 01c8f6854150de43a27f4daae894d61701800441
parent 49cd31c129f971f099f8c8961bb758b396d7b704
author Nicola Ferraro <ni.ferraro@gmail.com> 1578580903 +0100
committer Nicola Ferraro <ni.ferraro@gmail.com> 1578580903 +0100

Fix #222: second attempt using runtime listener