docs: Fix Hakefile comment
[barrelfish] / README_ARRAKIS
2019-04-03 Reto Achermannreplacing umlaute and fixing address in headers Haldene...
2015-06-05 Simon GerberMerge of upstream arrakis code.