Jerusalem, Israel DST for 2008

Hi, Asia/Jerusalem DST information is as follows : Friday, March 28, 2008 at 1:59:59 AM No +2 hours IST Friday, March 28, 2008 at 3:00:00 AM 1 hour +3 hours IDT DST starts Sunday, October 5, 2008 at 1:59:59 AM 1 hour +3 hours IDT Sunday, October 5, 2008 at 1:00:00 AM No +2 hours IST DST ends However, this information isn't covered in 2008c? Will this be covered in some later version ? Thanks, Sonali