Thu, 16 Jun 2011 11:14:13 +0100 Mario de Sousa Fix what I think is a bug (has not yet manifested itself).
Thu, 16 Jun 2011 11:12:02 +0100 Mario de Sousa Merging with Lauren't recent change.
Thu, 16 Jun 2011 11:05:13 +0100 Mario de Sousa Merging two previous commits.