Commit 7d93870c592f85f477f6cc4a2204749315826076

Thomas de Grivel 2020-04-14T19:47:14

fix print-diff and printing error-operation-failed