# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1361059208 18000
# Node ID 0df6c1c73e210ab25032adbebbdf98ba46935608
# Parent  1a2f1001d07dfa98c1e78b6cf2256d057dee78b6# Parent  6a44bb3c95937ab99b86e266db12d912e83d0eba
maint: periodic merge of stable to default