Commit e08e828e3e5dcf477d51c1204b517e790741f30c

Thomas de Grivel 2023-02-04T15:46:15

make libtool happy