Re: [vdr] Timer macros vs. filename in "Edit timers" (was: [ANNOUNCE] VDR developer version 1.7.13)