tree 78bec006762313e1c923e87e8959c4122104cae3
parent 429586e9ad1831a1f79bfce2124515d015a8935c
author Guillaume Nodet <gnodet@gmail.com> 1645718455 +0100
committer Guillaume Nodet <gnodet@gmail.com> 1645718455 +0100

Switch a few core plugins to the new api