# HG changeset patch # User Markus Mützel # Date 1640285928 -3600 # Node ID 773fd1dcbdbfa2faff4ae3eb6e9859a09663f504 # Parent 91642eb6420e086491ec7ae2e2a0a55c667a80d6# Parent c94757297640e896c2f0f38bde2abab102f4a8ea maint: merge stable to default. diff -r 91642eb6420e -r 773fd1dcbdbf configure.ac