On Thu, Jul 14, 2016 at 8:20 AM, Andrew Hyatt <ahyatt@gmail.com> wrote:

Let me know if you (or anyone else) can still reproduce this, otherwise
I'll close this in a few weeks.

Andrew,

As I said, literally 10 years ago:

From: Cyril Bouthors <cyb@debian.org>
To: 284727@bugs.debian.org
Subject: Re: shell-mode: command line is sometimes echoed in the command output
Date: Sun, 01 Jan 2006 15:17:18 +0300
I can't reproduce this bug anymore in the current sid, I guess it was
a bug in bash that was fixed with a recent upload.
-- 
Cyril Bouthors


--