Ping. re: https://gcc.gnu.org/pipermail/gcc-patches/2020-December/561135.html
> OK, I'll start with -alt then, thanks. > > Andrew is exactly correct, contracts-jac-alt is still the current branch > we're focusing our upstreaming efforts on. > > It's trailing upstream master by a fair bit at this point. I'll get a > merge pushed shortly. > The latest is still on the same branch, which hasn't been updated since that last merge: https://github.com/lock3/gcc/tree/contracts-jac-alt Would you prefer me to keep it from trailing upstream too much through regular merges, or would it be more beneficial for it to be left alone so you have a more stable review target? Please let me know if there's initial feedback I can start addressing, or anything I can do to help the review process along in general. Thank you, Jeff Chapman
