Closed jcjones closed 4 years ago
These were necessary fixes to run with Ubuntu 20.04 and Firefox 77
@jcjones I ran into the same issues and had to fix it in a quick way (before I saw this PR...). I'll test with these two commits on my machine and then merge if everything goes smoothly. Thanks!
These were necessary fixes to run with Ubuntu 20.04 and Firefox 77