|Subject:||bug#28814: [BUMP, PATCH] (26.0.90; When *xref* window is needed, original window-switching intent is lost )|
|Date:||Thu, 2 Nov 2017 19:07:00 +0000|
> 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...
|[Prev in Thread]||Current Thread||[Next in Thread]|