tree 0a5b3b29977a0a687c1ad3317cea3043c9d87d0e
parent 0ba9a451da1e9b08a737a14fa23948c353ab9724
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