tree e878729986b2072b5b9f7f216174ab5e9479338c
parent c738761994cae9e5197392b3e192042061ab7d6b
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