It sounds like this is more than just a request for a terminology change. If I'm reading it right, Android's notion of GMT is that it's British time, with a Daylight Saving Time offset in the summer.
Right, Britian uses GMT a portion of the year, and then switches to BST (British Summer Time) during the summer. BST is GMT+1. Android uses GMT and when summer comes around, Android's representation of GMT becomes GMT+1.
Comments
It sounds like this is more than just a request for a terminology change. If I'm reading it right, Android's notion of GMT is that it's British time, with a Daylight Saving Time offset in the summer.
Right, Britian uses GMT a portion of the year, and then switches to BST (British Summer Time) during the summer. BST is GMT+1. Android uses GMT and when summer comes around, Android's representation of GMT becomes GMT+1.
For that period of the year we actually use a 0-hour timezone over UT1
GMT simply doesn't exist any more. The two maintained timebases are UTC and TAI.