Commit 7f0e795cdfa4e7d0cd18411ace1001ffa79c20d4

Thomas de Grivel 2023-01-23T07:54:48

fix git version, ${}