From d24e95c77c0f42b534f6d0e61016b57be46c3949 Mon Sep 17 00:00:00 2001 From: Miguel de Moura Date: Thu, 17 Nov 2022 15:07:44 +0100 Subject: [PATCH] Revert executables