tree 976020540d08f9134819c4d6d64f00188fa9f5e5
parent 00dd635d28e17671fb80e4a4026b15913af263ad
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