SIGN IN SIGN UP

Merge `NamedUser.pyi` back to source (#2691)

T
Trim21 committed
de4d0531a89ea364b964782d50e5a9832ef9889d
Parent: 4347d35
Committed by GitHub <noreply@github.com> on 9/4/2023, 9:08:37 AM