Ahmed Muawia Khan 8fd50b23c8 Re-add travis changes
- This actually follows one concern on PR.
2018-02-23 15:33:32 +01:00
..
2018-02-23 15:33:32 +01:00