[PATCH 4/5] range stepping: gdbserver (x86 GNU/Linux)

[Eli Zaretskii]

> From: Pedro Alves <palves@redhat.com>
> Date: Tue, 14 May 2013 20:10:54 +0100
> 
> This patch adds support for range stepping to GDBserver, teaching it
> about vCont;r.

OK for the NEWS part.  Thanks.