v3r420 protected

Nate Grieser

@ngrieser

4d020be6 · Merge branch 'Prepare-v3r420' into 'v3-patches' · Sep 05, 2023

Release: v3r420

Bug-fixed version for 2023 Re-Stripping