Keshav Kini
Keshav Kini
@Neustradamus Hi. I'd like to make a couple of points: 1. It is not the job of GitHub users such as yourself to enforce GitHub's ToS on other GitHub users....
Can r-ryantm be made to add such labels, or is this a fundamental limitation? A problem with the auto-backport thing (as I see it) is that it's not smart enough...
I should also mention, as I did on IRC, that I was using a single threaded version of ACL2 (though I understand that CCL uses multiple threads under the hood...
Is this a duplicate of #2578?