Re: Fix a couple of typos in JIT

[David Rowley]

On Fri, 21 Aug 2020 at 02:25, Andres Freund <and...@anarazel.de> wrote:
> David, sounds good, after adapting to Abhijit's concerns.

Thank you both for having a look. Now pushed.

David