Commit 3645540ee771cc73f29854de052679b63449e2d8

Thomas de Grivel 2024-07-01T20:22:21

fix compilation of stubs