On January 14, 2018 5:12:37 PM PST, Edmund Horner <ejrh00@gmail.com> wrote:
>And here's a patch to add savepoint protection for tab completion.
It'd be good to explain what that means, so people don't have to read the patch to be able to discuss whether this is a
goodidea.
Andres
--
Sent from my Android device with K-9 Mail. Please excuse my brevity.