Update ignore_empty to either use .ignore = IGNORE_IF_DEFAULT_VALUE o…

…r remove (#4883) * Update ignore_empty to either use .ignore = IGNORE_IF_DEFAULT_VALUE or remove * Evan needed to run make bootstrap in the last 3 months
mindersec · Nov 5, 2024 · 9a6ff91 · 9a6ff91
1 parent 0b2c412
commit 9a6ff91
Show file tree

Hide file tree

Showing 4 changed files with 2,489 additions and 2,495 deletions.
diff --git a/docs/docs/ref/proto.md b/docs/docs/ref/proto.md