Claudio Luck <claudio.luck@pep.foundation> [Thu, 19 Mar 2020 16:47:39 +0100] rev 65
Merge 2.6.3
Claudio Luck <claudio.luck@pep.foundation> [Thu, 19 Mar 2020 15:20:28 +0100] rev 64
make main(), easier merge
Hartmut Goebel <h.goebel@crazy-compilers.com> [Thu, 19 Mar 2020 10:47:36 +0100] rev 63
Release 2.6.3
Claudio Luck <claudio.luck@pep.foundation> [Thu, 19 Mar 2020 16:45:02 +0100] rev 62
Merge 2.6.3