Stale branches
Closed this issue · 1 comments
mernst commented
The do-like-javac repository has several branches: https://github.com/SRI-CSL/do-like-javac/branches .
Two have already been merged; can you please delete them to prevent confusion?
One hasn't been merged, but is far behind master; can you please either merge it or delete it?
Thanks!
tim-mccarthy commented
Done!