# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1460148665 14400
# Node ID 3933d5073baabc4ae8b857fce0d7d878eae65fc1
# Parent  e3888aa9a4d178db9b65163fc982d532edc5ae5a# Parent  09a06ed4d1ba3ad0b58fcf0e170d38623b7d0711
maint: Merge stable with default.

diff -r e3888aa9a4d1 -r 3933d5073baa doc/interpreter/octave.texi