tree a1a3667e0e2062b17db547bc9c1c5bd575620077
parent 113a81dc0b8f04c0646bd914bacd19e43e61f2c2
author Guillaume Nodet <gnodet@gmail.com> 1645718456 +0100
committer Guillaume Nodet <gnodet@gmail.com> 1645718456 +0100

Switch a few core plugins to the new api