Subject: Re: [bug#70398] [PATCH 0/5] Reduce the size of gnu/packages/*.go files

From: Ludovic Courtès <[email-masked]>
Date: Sat, 04 May 2024 19:17:05 +0200

Hello,

Pushed!

  402d0a9b9d2 * packages: Reduce code bloat due to list allocation in input fields.
  76127069e02 * packages: ‘define-public’ replacement calls ‘module-export!’ directly.
  c14b8636fba * records: Do not inline the constructor.
  b011ef4378a * packages: Reduce bloat induced by ‘sanitize-inputs’.
  2f93e1682a0 * records: Do not inline throws for ABI mismatches.

Thanks,
Ludo’.