1. 2016-01-02 [2/2] [math] Merge branch 'master' of https://git-wip jakarta-c erans 2. 2015-12-31 [2/2] [math] Merge branch 'master' of https://git-wip jakarta-c erans 3. 2015-12-31 [2/2] [math] Merge branch 'master' of https://git-wip jakarta-c psteitz 4. 2015-12-31 [2/2] [math] Merge branch 'master' of https://git-wip jakarta-c erans 5. 2015-12-19 [2/2] [math] Merge branch 'master' of https://git-wip jakarta-c erans 6. 2015-08-17 [2/2] [math] Merge branch 'master' of https://git-wip jakarta-c erans 7. 2015-06-11 [2/2] [math] Merge branch 'master' of https://luc@git jakarta-c luc 8. 2015-06-09 [2/2] [math] Merge branch 'master' of https://git-wip jakarta-c tn 9. 2015-03-08 [2/2] [math] Merge branch 'master' of https://git-wip jakarta-c erans 10. 2015-01-25 [2/2] [math] Merge branch 'master' of https://git-wip jakarta-c sebb 11. 2015-01-08 [2/2] [math] Merge branch 'master' of https://git-wip jakarta-c sebb 12. 2015-01-07 [2/2] [math] Merge branch 'master' of https://git-wip jakarta-c tn 13. 2014-12-21 [2/2] [math] Merge branch 'master' of https://git-wip jakarta-c erans 14. 2014-12-16 [2/2] [math] Merge branch 'master' of https://git-wip jakarta-c psteitz 15. 2014-12-15 [2/2] [math] Merge branch 'master' of https://git-wip jakarta-c erans 16. 2014-11-11 [2/2] [math] Merge branch 'master' of https://git-wip jakarta-c erans