tree 7baa3cc439a26e19552fc8c5482133d79b6269e4
parent e95fe43b4cef32ef62f66ef22cc6265701ef6c37
author Romain Manni-Bucau <rmannibucau@gmail.com> 1616527803 +0100
committer Romain Manni-Bucau <rmannibucau@gmail.com> 1616527803 +0100

minor change to replace deprecated API by up to date ones