[FIX] portal: fix badly formatted ref

Closes #767
This commit is contained in:
elmelm 2020-10-14 11:34:19 +02:00 committed by GitHub
parent 29bfb56d33
commit 5adc209e91
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23