commit db1ce2bac7212b85aa58ea11466c130153fdb8d6 parent f4a971014d5376a1dd6a223e60c1e6249853825c Author: Christian Grothoff <christian@grothoff.org> Date: Fri, 3 Jul 2026 14:52:26 +0200 run pogen, remove dead/outdate translations Diff is too large, output suppressed.