On Thu, Jan 30, 2014 at 11:51:34PM +0000, Steve Fryatt wrote:
On 30 Jan, Daniel Silverstone wrote in message
> On Sun, Jan 26, 2014 at 15:44:17 +0000, Steve Fryatt wrote:
> > PS: Should I be deleting my branches once they're merged? If so,
> > the preferred way to do it?
> Yes, [...]
Thanks -- I've tidied up after myself now.
I merged your menus branch again, so assuming the merge was correct
you can remove that too.