chiark / gitweb /
poster-tube-lid: introduce inside_rivet_gap (from v4)