This repository was archived by the owner on Sep 11, 2024. It is now read-only.

Fix exception when opening dev tools#1961

Merged

dbkr merged 1 commit intodevelopfrom

dbkr/fix_devtools_exception

Jun 14, 2018

Commits on Jun 13, 2018

Fix exception when opening dev tools
dbkr
committed