Forums Bug Reports $gmt not truly GMT

Hello all.

I searched the forums, but couldn't find anything regarding this 'bug'.
It seems the $gmt identifier doesn't actually obey GMT, but rather just follows GMT and BST (British Summer Time).
Obviously GMT never changes, but $gmt does. You can see for yourself with //echo -a $asctime($gmt), which will (should) report BST now (since Daylight Savings Time is in effect in most countries) and be off by one hour.
I realise the identifier follows the internal clock, but shouldn't it be able to determine if DST is in effect and adjust the value accordingly?

Thanks for your time.

So basically, you want '$gmt' to report 'UTC' time?

Yes. Apart from some details, GMT is the same as UTC.
Just some examples from google:
http://wwp.greenwichmeantime.com/
http://wwp.greenwich2000.com/
http://www.worldtimeserver.com/current_time_in_UTC.aspx
http://www.timeanddate.com/library/abbreviations/timezones/eu/gmt.html

Yes it should, GMT should not include DST.
mIRC knows if DST is in effect (the $daylight identifier) so IMHO it should account for that when calculating GMT.

Oh, thanks, that of course provides a workaround with $calc($gmt - $daylight)
Still, a fix would be nice.