tree 038977d8b10a50ef4a1eb79a72fb8416f020e128
parent be8e0db20af83277cc64993b8ecb9d80a2e0d472
author Guillaume Nodet <gnodet@gmail.com> 1645718455 +0100
committer Guillaume Nodet <gnodet@gmail.com> 1645719930 +0100

Switch a few core plugins to the new api