Note: "permalinks" may not be as permanent as we would like,
direct links of old sources may well be a few messages off.
On Tue, Jun 30, 2015 at 03:18:51PM +0000, Andreas Mock wrote: > Hi Lars, > > I haven't looked at git until now. I've found your > patch. Thank you for the pointer and sorry for the > noise. No problem, thanks for reporting, I rather have double reports than non at all. Cheers, Lars