Re: [tz] Novosibirsk, +06 -> +07 on 2016-07-24

Thanks for the heads-up. Since it seems so likely this will go through, I'm attaching a proposed patch that I have installed into the experimental tz database on Github. While I'm in the neighborhood this patch also removes invented abbreviations for Asia/Novosibirsk by switching to numeric abbreviations for that location and for Asia/Novokuznetsk (which used the same invented abbreviation).