Re: [vdr] [ANNOUNCE] VDR-1.5.12: some "micro" speed improvements