On 28/04/17 12:38 +0100, Jonathan Wakely wrote:
On 28/04/17 09:41 +0100, Jonathan Wakely wrote:
On 27/04/17 21:27 +0200, François Dumont wrote:
Oh, I thought it was obviously better to not register useless
Printers. But if you need a bug report or an explicit test showing
that it is better the
On 28/04/17 09:41 +0100, Jonathan Wakely wrote:
On 27/04/17 21:27 +0200, François Dumont wrote:
Oh, I thought it was obviously better to not register useless
Printers. But if you need a bug report or an explicit test showing
that it is better then I don't have it. Maybe a gdb guy could tell
us
On 27/04/17 21:27 +0200, François Dumont wrote:
On 27/04/2017 20:32, Jonathan Wakely wrote:
On 27/04/17 20:12 +0200, François Dumont wrote:
Hi
Here is the patch to registers Printers depending on activation
of versioned namespace.
2017-04-27 François Dumont
* python/Makefile.am [ENA
On 27/04/2017 20:32, Jonathan Wakely wrote:
On 27/04/17 20:12 +0200, François Dumont wrote:
Hi
Here is the patch to registers Printers depending on activation of
versioned namespace.
2017-04-27 François Dumont
* python/Makefile.am [ENABLE_SYMVERS_GNU_NAMESPACE]
(user_versioned_n
On 27/04/17 20:12 +0200, François Dumont wrote:
Hi
Here is the patch to registers Printers depending on activation of
versioned namespace.
2017-04-27 François Dumont
* python/Makefile.am [ENABLE_SYMVERS_GNU_NAMESPACE]
(user_versioned_namespace): New.
(gdb.py): Adapt target.
Hi
Here is the patch to registers Printers depending on activation of
versioned namespace.
2017-04-27 François Dumont
* python/Makefile.am [ENABLE_SYMVERS_GNU_NAMESPACE]
(user_versioned_namespace): New.
(gdb.py): Adapt target.
* python/Makefile.in: Regenerate.
* pyt
