# HG changeset patch
# User Rik <rik@octave.org>
# Date 1608663012 28800
# Node ID d50d9fd9ab057de2bf10faa818aadfbbd9ff058b
# Parent  6e031c8ed59c71620ffa1ad137fb9ec290fe0829# Parent  0180eaf55fd04615e259307ef987cfa903e866ad
maint: merge stable to default.

diff -r 6e031c8ed59c -r d50d9fd9ab05 liboctave/system/file-stat.cc