# HG changeset patch
# User Rik <rik@octave.org>
# Date 1396637414 25200
# Node ID 37d5a2bb4160304e20446d762adc74f3caf8556b
# Parent  aff86394c201c71b3399df40f355c0fa8e8b81bd# Parent  359581bba58dfb013879379cde28105543446482
maint: Merge away extra head.