Commit 17fd535777870f766fe2cae99bb2be522beb9fa2

Thomas de Grivel 2022-01-26T14:42:40

optimize git, fix empty diff