9cd3424ad0be93bf45ec94267fed3c7a763cc01a		branch 'master' of https://github.com/ThomasMertes/seed7
