Thu, 19 Mar 2020 16:47:39 +0100Merge 2.6.3
Claudio Luck <claudio.luck@pep.foundation> [Thu, 19 Mar 2020 16:47:39 +0100] rev 65
Merge 2.6.3

Thu, 19 Mar 2020 15:20:28 +0100make main(), easier merge
Claudio Luck <claudio.luck@pep.foundation> [Thu, 19 Mar 2020 15:20:28 +0100] rev 64
make main(), easier merge

Thu, 19 Mar 2020 10:47:36 +0100Release 2.6.3
Hartmut Goebel <h.goebel@crazy-compilers.com> [Thu, 19 Mar 2020 10:47:36 +0100] rev 63
Release 2.6.3