On 01/08/2014 09:20 PM, Thomas Schwinge wrote:
Hi!
On Thu, 24 Oct 2013 16:17:21 +0100, Pedro Alves pal...@redhat.com wrote:
Here's what I pushed
..., and what made the Hurd port pretty unhappy. ;-)
Whoops. ;-) Thanks for fixing.
In the thread around
Hi!
On Thu, 24 Oct 2013 16:17:21 +0100, Pedro Alves pal...@redhat.com wrote:
Here's what I pushed
..., and what made the Hurd port pretty unhappy. ;-)
gdb/
2013-10-24 Pedro Alves pal...@redhat.com
* NEWS (New options): Mention set/show startup-with-shell.
*