Am 25.10.2016 um 11:11 schrieb Thomas Martitz:
Am 04.10.2016 um 09:49 schrieb Thomas Martitz:
Am 09.09.2016 um 10:54 schrieb Paul Eggert:
Thomas Martitz wrote:
I thought you'd review and merge.
It might be me at some point. Just not today, I'm afraid.
This is another ping. Please review and merge my patch, or let me know
if there's work left to do.
Best regards.
Hello,
I'd appreciate if anyone could review and potentially merge the patch.
It really that large is it and shouldn't affect existing setups since
the new behavior is opt-in.
Best regards.
