Rename to proper

This commit is contained in:
Bolke de Bruin 2020-07-20 15:57:34 +02:00
parent e9b7b352cf
commit f50dc2c82d