tree 33d5b78a7ad7dfe1c7931b19bfcf4414f2529535
parent 8f714592a2dde7df355e1880a22346cb38b09395
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