>>>>> "Michael" == Michael Weiser <m.wei...@science-computing.de> writes:
Michael> Hi, Mark and I have built and used our own local packages
Michael> with this patch applied for some revisions now (at least
Michael> -17, -18 and -19) and all seems fine. But it it is quite a
Michael> hassle to rebuild those local packages on every Debian
Michael> update.
Michael> Since we have provided a full, self-contained patch that
Michael> seems to solve the issue for good, can you please review
Michael> and comment on it so we can make some progress on getting
Michael> it included into the Debian package?
Unfortunately, Debian 8.0 is in the final release freeze. After the
release of Debian 8.0 later this month, we'll take a look for inclusion
in the next Debian release. That's going to be a couple of years out
though.
--Sam
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
