West Bank and the Gaza Strip will have different time zones

[Paul Eggert]

Thanks.  I suppose this means we new zone Asia/East_Jerusalem,
since East Jerusalem is the largest city in the West Bank.