strcode icon indicating copy to clipboard operation
strcode copied to clipboard

Published 20 hours ago • verified publisher icon lorenzwalthert

Semantics

Open XiaoliangJiang opened this issue 8 years ago • 1 comments
trafficstars

Dear Lorenz, I am trying to pull my semantics branch back to your repository. But I did not have much experience about Github, so I am writing to confirm that what I did is correct.

Thanks, Xiaoliang

XiaoliangJiang avatar Sep 26 '17 06:09 XiaoliangJiang

Thanks @XiaoliangJiang I will need some time to review all of this at some point.

lorenzwalthert avatar Oct 14 '17 11:10 lorenzwalthert