Subject: Re: bug#14691: Acknowledgement (24.3; auto-save-list)

From: João Guerra <[email-masked]>
Date: Sat, 29 Jun 2013 21:10:09 +0100

Thanks, that solves the problem.
Sorry for wasting your time.