tree a59181f9bb1cfb6ee10b0649dcbdd23eff728401
parent c5f310de3ba06b7ad24da48145a099485322d2ac
author Thomas Köppe <tkoeppe@google.com> 1681423459 -0700
committer Copybara-Service <copybara-worker@google.com> 1681423522 -0700

Spell out the meaning of non-reentrant/non-recursive.

PiperOrigin-RevId: 524112966
Change-Id: I197f98f95b1c4de7f53295a6a01db9b0379b4f55