On Sat, Jun 4, 2016 at 5:16 PM, Jérôme St-Louis <jer...@ecere.com> wrote: > What is the expected time frame to fix this, can it wait for the upcoming > upstream release? Thank you.
Thank you for your quick and accommodative response. The issue is release-critical for Debian's next release [1], so my understanding is that it would be good to have it resolved by the end of 2016. I wonder if the Debian Alternatives system [2] is appropriate here. [1] https://wiki.debian.org/DebianStretch [2] https://wiki.debian.org/DebianAlternatives Thanks, Jeremy Bicha