[PATCH v2] Python API: Fix an exception when registering a global pretty-printer in verbose mode

[Joel Brobecker]

> > 2015-03-11  Martin Galvan  <martin.galvan@tallertechnologies.com>
> >
> >         * python/lib/gdb/printing.py (register_pretty_printer): Fix exception
> >         when registering a global pretty-printer in verbose mode.
> >
> > No need to repost though.
> > Ok to commit with that fixed.
> 
> Sorry to bother, but I don't have write privileges on the repository;
> would you be so kind to commit this for me?

Martin - I am going through my gdb-patches mailbox, and I am wondering
if anyone pushed that patch for you? If not, would you mind rebasing
your patch and sending it to us, please (with our sincerest apologies!)?

-- 
Joel