On May 30, 2018, at 7:38, Noam Postavsky <npostavs@gmail.com> wrote:On 28 April 2018 at 19:46, Jean-Christophe Helary
<jean.christophe.helary@gmail.com> wrote:Thank you. I see what you mean and that makes perfect sense. Give me a few
days.
Ping? Did you intend to make any other changes? If it's just about
that one concat vs format thing I can just do it on my end before
pushing.