# HG changeset patch
# User Markus Mützel <markus.muetzel@gmx.de>
# Date 1707496727 -3600
# Node ID b9c6ed013576754b37e80278791a53f3ea6631c0
# Parent  749617dc63ebd25cc70da1a1c7751e11b17a0fb4# Parent  88bff22985bdd1d49fa0c874f39caa7ecb6b9d0c
maint: Merge stable to default.

diff -r 749617dc63eb -r b9c6ed013576 .github/workflows/make.yaml
--- a/.github/workflows/make.yaml	Thu Feb 08 11:35:20 2024 -0800
+++ b/.github/workflows/make.yaml	Fri Feb 09 17:38:47 2024 +0100
@@ -1089,7 +1089,7 @@
 
       - name: rebase binaries
         run: |
-          find ${GITHUB_WORKSPACE}/.build -name "*.oct" -or -name "*.dll" -or -name "*.exe" | tee binaries.list
+          find ${GITHUB_WORKSPACE}/.build -name "*.oct" -or -name "*.dll" | tee binaries.list
           rebase -O -T binaries.list
 
       - name: check