fix typo in re2/nfa.cc
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. |
You are [`@redpanda83`](https://github.com/redpanda83) on GitHub, I gather, but are you also [`@totoro642`](https://github.com/totoro642) on GitHub? I ask because [this](https://github.com/google/maxtext/pull/686) PR is arguably innocuous, but [this](https://github.com/google/re2/pull/497) PR and [this](https://github.com/google/re2/pull/498) PR are extremely dubious. The timing might just be a coincidence, but the thing is that it might ***not*** just be a coincidence. I guess I will never know. :)
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. |
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. |
You are [`@redpanda83`](https://github.com/redpanda83) on GitHub, I gather, but are you also [`@totoro642`](https://github.com/totoro642) on GitHub? I ask because [this](https://github.com/google/maxtext/pull/686) PR is arguably innocuous, but [this](https://github.com/google/re2/pull/497) PR and [this](https://github.com/google/re2/pull/498) PR are extremely dubious. The timing might just be a coincidence, but the thing is that it might ***not*** just be a coincidence. I guess I will never know. :)
Sorry I have no idea what you're talking about. I was just trying to contribute a bit and learning re2 internals. It's the first time I even use gerrit.
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. |
redpandaYou are [`@redpanda83`](https://github.com/redpanda83) on GitHub, I gather, but are you also [`@totoro642`](https://github.com/totoro642) on GitHub? I ask because [this](https://github.com/google/maxtext/pull/686) PR is arguably innocuous, but [this](https://github.com/google/re2/pull/497) PR and [this](https://github.com/google/re2/pull/498) PR are extremely dubious. The timing might just be a coincidence, but the thing is that it might ***not*** just be a coincidence. I guess I will never know. :)
Sorry I have no idea what you're talking about. I was just trying to contribute a bit and learning re2 internals. It's the first time I even use gerrit.
Oh, okay then. So I suppose it might also just be a coincidence that `@totoro642` set their GitHub profile to private sometime after I pointed out their suspicious activity. ;)
Inspect html for hidden footers to help with email filtering. To unsubscribe visit settings. |