Am 25.12.2016 um 22:32 schrieb Felipe Sateler: > PR 4978 was closed in favor of 4972. However, it has not been merged > yet. The patch is small so at least I don't have a problem with > backporting. However, we prefer patches to be merged upstream, so > we'll wait until the PR is merged. Feel free to ping again if the PR > is merged and there has been no activity.
Nod, I have no objection pulling that patch once merged. Regards, Michael -- Why is it that all of the instruments seeking intelligent life in the universe are pointed away from Earth?
signature.asc
Description: OpenPGP digital signature
