PR #1961 Fix exception when opening dev tools

Fix exception when opening dev tools #1961

dbkr merged 1 commit into develop from dbkr/fix_devtools_exception

Fix exception when opening dev tools

b81e12e4

dbkr assigned

lukebarnard1 8 years ago

lukebarnard1 approved these changes on 2018-06-13

dbkr merged bb999502 into develop 8 years ago

Reviewers

lukebarnard1

Assignees

lukebarnard1

Labels

None yet

Milestone

No milestone