Re: [wlug] Extra Leap Second To Be Added To Clocks On June 30

By the way, coolest name for an outfit to work for: “Earth Rotation Service”. Though it seems their official name is now “International Earth Rotation and Reference Systems Service” <http://www.iers.org/IERS/EN/Home/home_node.html>.