Merge branch 'master' of lazarus/public-wiki into master

This commit is contained in:
amanita 2018-12-19 00:54:31 +01:00 committed by Gogs
commit be94cee1bd