GDB 8.1 branching 2017-12-11 update

[Sergio Durigan Junior]

On Monday, December 11 2017, Joel Brobecker wrote:

> Hello,
>
> Great progress last week!
>
> As far as I know, the only item that it would be nice to have being
> pushed before branching is:
>
>   * [SergioDJ] PR cli/16224
>     add "pahole" functionality to ptype
>
>     I just saw a second ping. Hoping for a quick review.

This has been pushed now.  Thanks for everybody who got involved in the
review, and thanks Joel for waiting :-).

Cheers,

-- 
Sergio
GPG key ID: 237A 54B1 0287 28BF 00EF  31F4 D0EB 7628 65FC 5E36
Please send encrypted e-mail if possible
http://sergiodj.net/