tree fa526c2cec3a662684fe272be7a31311bc2f6838
parent c3eb9b37d18942a159d90fb6830d79ce43fff369
author Nicola Ferraro <ni.ferraro@gmail.com> 1585237600 +0100
committer Nicola Ferraro <ni.ferraro@gmail.com> 1585237600 +0100

Fix #1365: switch to tag-based trigger