fix typing of user

This commit is contained in:
Rasmus Steinke 2015-05-23 07:37:40 +02:00
parent a786849e5c
commit 138077b352