correct repo_name

This commit is contained in:
Anton Schubert 2016-05-14 11:42:48 +02:00
parent d92ae8e811
commit 997cc685c1