Closed GuillaumeGomez closed 4 years ago
cc @GuillaumeGomez @EPashkin @sdroege
Closing this PR since it's badly generated. Waiting for the gir change to come in.
And of course I clicked on the merge button. sigh Really too tired. Reverting the changes by removing the commit.
cc @GuillaumeGomez @EPashkin @sdroege