fix intent

This commit is contained in:
Christian Grothoff 2016-06-11 00:36:41 +02:00
parent 1db423907e
commit 5d28c01900