# HG changeset patch
# User Rik <rik@octave.org>
# Date 1515979078 28800
# Node ID fdfb026486a83958d1acfb319831afcfc5d71d85
# Parent  56f1f60f35fd5823d2e065ab78e9ef7b7581805c# Parent  5609e97cc8632e63c515e09262bce5dd5c70b473
maint: merge stable to default.