tree 30bdd7e6adaea05ffddd233750fd2f7b87a9ffaf
parent d72288924b83d17d975cdfba3e2159d2091a303c
author Guillaume Nodet <gnodet@gmail.com> 1645718457 +0100
committer Guillaume Nodet <gnodet@gmail.com> 1645718457 +0100

Switch a few core plugins to the new api