Subject: Re: bug#54892: [PATCH 3/3] gnu: nomad-optimizer: Update to 4.2.0.

From: Ludovic Courtès <[email-masked]>
Date: Tue, 19 Apr 2022 12:31:40 +0200

Er, that’s 4 patches, not 5:

  d262a258bb gnu: nomad-optimizer: Fix some tests.
  11e761b9a6 gnu: nomad-optimizer: Update to 4.2.0.
  3a6703268b gnu: nomad-optimizer: Remove trailing booleans.
  3a9b925f44 gnu: nomad-optimizer: Remove input labels.