# HG changeset patch
# User Rik <rik@octave.org>
# Date 1713729872 25200
# Node ID 411e19dc791bf7c5bc80f32ae99cc13816e6f186
# Parent  f31a0d82677635d281bf6f81ee980ce3eee27101# Parent  27e915d3a79cfe23ce9b023a42fb132018d39d95
maint: merge stable to default