<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Feb 14, 2019 at 12:05 AM Jordi Gutiérrez Hermoso <<a href="mailto:jordigh@octave.org">jordigh@octave.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"># HG changeset patch<br>
# User Jordi Gutiérrez Hermoso <<a href="mailto:jordigh@octave.org" target="_blank">jordigh@octave.org</a>><br>
# Date 1550091764 18000<br>
#      Wed Feb 13 16:02:44 2019 -0500<br>
# Node ID 94ccf890584ee3bae9e543fade578e0f05281347<br>
# Parent  5d383d9636d0b81b416398913b32b8c715e98db5<br>
histedit: remove "chistedit" mention from interface<br>
<br>
"chisted" is internal jargon. The end user should not need to be aware<br>
that it's different from histedit.<br></blockquote><div><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">Queued this, many thanks!</div></div></div>