----------------------- AmigaOs 3.2 project -------------------------- 

Changes for V47.1 (28.7.2019):

- Very minor improvements by making some branches short.
