# HG changeset patch
# User Rik <rik@octave.org>
# Date 1386289158 28800
# Node ID e3511cec60a026a05075e91b94054df7929aa844
# Parent  b560bac0fca29b7af17d6caa52f9de3e9c1264f9# Parent  c8ef8ba5ea9cff84b87db5376ba46e557cb4f77f
maint: Merge away extra head.