June 29, 2020
3:27 a.m.
On 29.06.20 07:45, Armin Rigo wrote:
Hi Ram,
On Sun, 28 Jun 2020 at 21:35, Ram Rachum <ram@rachum.com> wrote:
We discussed that maybe I should make that change and open a PR for it.
I'm +1 on the idea.
Sounds good to me as well! Thanks for putting though into this! CF