Merge pull request #2214 from maierfelix/master
authorJohn Kessenich <johnkslang@users.noreply.github.com>
Tue, 12 May 2020 03:55:22 +0000 (21:55 -0600)
committerGitHub <noreply@github.com>
Tue, 12 May 2020 03:55:22 +0000 (21:55 -0600)
commit55f9d97f3b1e2b9d0a5f015a3075512f698e1efa
treec4b3df4d86eb46302811e24507b8b88f1536c3e6
parent5d88edf13a4b54e51bbdc04a7ef341f0e6dc38c5
parent8e18714bb6ffdbdf17833c75d339e6a80975383b
Merge pull request #2214 from maierfelix/master

Fix Web build