1. 2022-10-29 Re: [PATCH v7 1/4] GDB/Python: Use None for `var_zuin gdb-patch Eli Zaretskii via 2. 2022-10-29 [PATCH v7 1/4] GDB/Python: Use None for `var_zuintege gdb-patch Maciej W. Rozycki