Hi Karl, I guess we should. Do you consider this a release blocker or can I just add them into a separate commit?
Cheers, Radu On Mon, 27 Feb 2017 at 15:52 Karl Pauls <karlpa...@gmail.com> wrote: > [...] > Shouldn't they be added to the LICENSE file? >