Repository navigation

codegen: a contents proof only for a contents-stable binding (F13) - #14059

Merged

proggeramlug merged 2 commits into

mainfrom

thr11-contents-stable

Nov 5, 2026

Merged

codegen: a contents proof only for a contents-stable binding (F13)#14059
proggeramlug merged 2 commits into
mainfrom
thr11-contents-stable

Commits on Nov 5, 2026
- codegen: a contents proof only for a contents-stable binding (F13)
  Ralph Küpper
  committed
  1305ff8
- changelog: number the PR fragment
  Ralph Küpper
  committed
  bee2d1b