Hmm... so you did not like the path structure in "src" but merged the PR anyway? I am confused. Well, it's very simple to change the structure as you proposed. I thought I double-checked that with you on vm-dev weeks ago.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.