On Wed, Apr 15, 2020 at 6:17 PM Dmitry Gutov <dgutov@yandex.ru> wrote:
>
> On 15.04.2020 19:02, João Távora wrote:
> > So I propose we default it to nil. What do you guys think?
>
> Yes, please.

Done. Closing this.