On Mon, Feb 9, 2026 at 10:36 AM Japin Li <japinli(at)hotmail(dot)com> wrote:> For consistency, this should use the %X/%08X format as elsewhere.
Good catch, I've updated the patch.