On Thu, 20 Apr 2017, Kwankyu Lee wrote:
I propose to move the AUTHORS section to the last of the heading:
+1. -- Jori Mäntysalo
On Thu, 20 Apr 2017, Kwankyu Lee wrote:
I propose to move the AUTHORS section to the last of the heading:
+1. -- Jori Mäntysalo