> Date: Fri, 10 Jan 2014 15:18:44 +0000 > From: Pedro Alves <palves@redhat.com> > > Looking through my local branches, I found this leftover patch > from when I made "set startup-with-shell" a runtime knob a while > ago... > > OK? Yes, thanks.