Subject: Re: bug#13972: 24.3.50; Cannot delete bookmark

From: Thierry Volpiatto <[email-masked]>
Date: Thu, 04 Apr 2013 07:20:00 +0200

Stefan Monnier <[email-masked]> writes:

> Installed, thanks,

Thanks, probably you should also merge this in 24.3 without the new
header related fix.
Or do we need to open a new bug for this (only 24.3) ?
I can do this if you want with an attached patch to the bug.

-- 
Thierry
Get my Gnupg key:
gpg --keyserver pgp.mit.edu --recv-keys 59F29997