Subject: Re: bug#33065: [PATCH]: Eliminate obtrusive ghost cursors in follow mode in GUIs.

From: Alan Mackenzie <[email-masked]>
Date: 19 Oct 2018 10:09:52 -0000

In article <[email-masked]> you wrote:

Amendment committed.

-- 
Alan Mackenzie (Nuremberg, Germany).