[Bug python/33366] Cannot cast gdb.Value to 128bit python integer in gdb 16.3

[tromey at sourceware dot org]

https://sourceware.org/bugzilla/show_bug.cgi?id=33366

--- Comment #4 from Tom Tromey <tromey at sourceware dot org> ---
https://sourceware.org/pipermail/gdb-patches/2025-September/220538.html

-- 
You are receiving this mail because:
You are on the CC list for the bug.