Update Ghoul repository (closes #1278)

This commit is contained in:
Alexander Bock
2020-08-17 22:28:17 +02:00
parent 0f71f7b654
commit f5eec4e97f