devtools
c24bc275
- [Property Editor] Use new DTD api to check if the connection is closed (#9066)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
262 days ago
[Property Editor] Use new DTD api to check if the connection is closed (#9066)
References
#9066 - [Property Editor] Use new DTD api to check if the connection is closed
Author
elliette
Parents
29aa8bdf
Loading