[PATCH] set/show python dont-write-bytecode fixes

[Eli Zaretskii]

> Date: Sat, 23 Jul 2022 14:30:25 -0700
> From: Kevin Buettner <kevinb@redhat.com>
> Cc: gdb-patches@sourceware.org, pedro@palves.net, simark@simark.ca
> 
> I've made some changes to the GDB manual too.
> 
> These changes, including the ones you asked for in your earlier email,
> are in the v2 patch.  See:
> 
> https://sourceware.org/pipermail/gdb-patches/2022-July/191030.html

Thanks, I approved them.