tree 751e4fb31556163b92bc12a56329074cde6eb286
parent 2e0195baeadb7f03dc4a80162d17b66e1ef1c325
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