Thanks! Upon a quick look at the code changes to existing app_jsdt code, all seems ok, so I am going to merge it soon if no other comments.
A few remarks/questions to clarify better what this brings in:
—
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.
You are receiving this because you are subscribed to this thread.