Fixed conflicts after pulling from master

This commit is contained in:
Enrico Turri 2019-07-19 15:47:10 +02:00
parent 91d574f8ad
commit 3285bf7945