Skip to content

patch-ids: document intentional const-casting in patch_id_neq()#2226

Open
malon7782 wants to merge 1 commit intogit:masterfrom
malon7782:fix/patch-ids
Open

patch-ids: document intentional const-casting in patch_id_neq()#2226
malon7782 wants to merge 1 commit intogit:masterfrom
malon7782:fix/patch-ids

Commits

Commits on Mar 8, 2026