tree 16477e267bfd3c9e009dab468de6697e9ce04f82
parent 00c1af1b7e6580417fff84577779328a8f6c06e6
author Nicola Ferraro <ni.ferraro@gmail.com> 1581637275 +0100
committer Nicola Ferraro <ni.ferraro@gmail.com> 1582276722 +0100

Fix #1234: add a master trait (as addon)