1. 2018-08-22 D14962: Fix build with julia 1.0 kde-edu Filipe Saraiva 2. 2018-08-22 D14962: Fix build with julia 1.0 kde-edu-d Filipe Saraiva 3. 2018-08-21 D14962: Fix build with julia 1.0 kde-edu Antonio Rojas 4. 2018-08-21 D14962: Fix build with julia 1.0 kde-edu-d Antonio Rojas 5. 2018-08-21 D14962: Fix build with julia 1.0 kde-edu-d Nikita Sirgienko 6. 2018-08-21 D14962: Fix build with julia 1.0 kde-edu Nikita Sirgienko 7. 2018-08-21 D14962: Fix build with julia 1.0 kde-edu-d Antonio Rojas 8. 2018-08-21 D14962: Fix build with julia 1.0 kde-edu Antonio Rojas 9. 2018-08-21 D14962: Fix build with julia 1.0 kde-edu Antonio Rojas 10. 2018-08-21 D14962: Fix build with julia 1.0 kde-edu-d Antonio Rojas 11. 2018-08-21 D14962: Fix build with julia 1.0 kde-edu Nikita Sirgienko 12. 2018-08-21 D14962: Fix build with julia 1.0 kde-edu-d Nikita Sirgienko 13. 2018-08-21 D14962: Fix build with julia 1.0 kde-edu-d Antonio Rojas 14. 2018-08-21 D14962: Fix build with julia 1.0 kde-edu Antonio Rojas 15. 2018-08-21 D14962: Fix build with julia 1.0 kde-edu-d Antonio Rojas 16. 2018-08-21 D14962: Fix build with julia 1.0 kde-edu Antonio Rojas 17. 2018-08-21 D14962: Fix build with julia 1.0 kde-edu Antonio Rojas 18. 2018-08-21 D14962: Fix build with julia 1.0 kde-edu-d Antonio Rojas 19. 2018-08-21 D14962: Fix build with julia 1.0 kde-edu-d Pino Toscano 20. 2018-08-21 D14962: Fix build with julia 1.0 kde-edu Pino Toscano 21. 2018-08-20 D14962: Fix build with julia 1.0 kde-edu Antonio Rojas 22. 2018-08-20 D14962: Fix build with julia 1.0 kde-edu-d Antonio Rojas