Rename this thing

Signed-off-by: Patrick Uiterwijk <patrick@puiterwijk.org>
This commit is contained in:
Patrick Uiterwijk 2017-10-07 11:53:36 +02:00
parent ef9b7d9f52
commit 54426cd6d0