localtime()

localtime() doesn't seem to take leap seconds into account. I have a
right/* timezone and I expected (perhaps wrongly) localtime() to
return the correct UTC time. Instead, I have to subtract 24s.  Is this
the correct behaviour?

Thanks

J.Almeida