# HG changeset patch # User Markus Mützel # Date 1647531807 -3600 # Node ID ecde6a40fb7239214cf1235504c9053178197eea # Parent 97504d2edcc70a6c649e0fc15510c132b3463a41# Parent 4d2da8a3dca69327150b4ecc5e6b7bb9630877e5 maint: Merge stable to default. diff -r 97504d2edcc7 -r ecde6a40fb72 .github/workflows/make.yaml