June 5, 2019
6:30 p.m.
On 6/5/19 10:39 AM, Guy Harris wrote:
For what it's worth, a Google search of
"Irish Summer Time" site:.ie
We went through this sort of thing reasonably extensively in 2017. See the long thread containing this message: https://mm.icann.org/pipermail/tz/2017-December/025718.html At the time, my impression was that although both "Irish Standard Time" and "Irish Summer Time" are used in Ireland, the former term should be preferred as it's the legally correct term and it seems to be more commonly used by reliable sources in Ireland. I doubt whether the situation has changed much since then.