tree 0cf51346c1885a4d887a9be9717260740120f05f
parent 6d9b7636b62ad44ad7fdbf0fab7b60ba11ded35e
author Guillaume Nodet <gnodet@gmail.com> 1645718458 +0100
committer Guillaume Nodet <gnodet@gmail.com> 1645718458 +0100

Switch a few core plugins to the new api