You are viewing a single comment's thread from:

RE: Intermission

in #witness-category4 years ago

That's pretty different from what was proposed, which was changing the number in a fork which is going to happen anyway.

Yes, I simplified a bit too much maybe. Of course the HF would also bring SMT. What I don't want is to add this "simple" change to this fork, but (if at all) a seperate HF with a more elaborate concept.