# HG changeset patch
# User Markus Mützel <markus.muetzel@gmx.de>
# Date 1588584009 -7200
# Node ID 062f93e05658cf9e6051f0d10e5154aa85e103f3
# Parent  467d0781130a75a2cf8446bd47fb41bacfa9e5da# Parent  ec77c790fce2e911362c8620e08aba8e0c019fcc
maint: merge stable to default.

diff -r 467d0781130a -r 062f93e05658 libinterp/corefcn/sysdep.cc