correct repo-name profile

This commit is contained in:
Anton Schubert 2016-05-14 11:21:54 +02:00
parent eebc0f71d0
commit d92ae8e811