Re: Emre Hasegeli 2017-12-20 <CAE2gYzwdyUFUkGS+Xtz21RTyVUPpt0WXcwcGjDQ-S2DMm7Srmg@mail.gmail.com>
> Is it a good idea to build original 1.7.2 again? Some people might
> want to stay on the latest 1.7 release for a while even after 1.8
> package is built.
We don't do that for other software either. 1.8 is not a new major
release.
Christoph