Fix symbol import #1

Merged
eri merged 2 commits from :master into master 2019-01-30 22:20:40 +01:00
First-time contributor
No description provided.
eri closed this pull request 2019-01-30 22:20:40 +01:00
Sign in to join this conversation.
No reviewers
No Label
No Milestone
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: eri/Deffekt#1
No description provided.