[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#28814: [BUMP, PATCH] (26.0.90; When *xref* window is needed, origina
bug#28814: [BUMP, PATCH] (26.0.90; When *xref* window is needed, original window-switching intent is lost )
Thu, 02 Nov 2017 19:07:48 +0200
> From: João Távora <address@hidden>
> Date: Thu, 2 Nov 2017 17:03:18 +0000
> Cc: Dmitry Gutov <address@hidden>, address@hidden
> Ping. This was very close to wrapping up and so I wonder if you
> had a chance to look at the patches...
Your opinion on the amount of free time I have is too optimistic...
Don't worry, I didn't forget, and will get to this soon.