Subject: [PATCH 0/2] gnu: Add lagrange.
From: Guillaume Le Vaillant <[email-masked]>
To: [email-masked]
Date: Thu, 07 Apr 2022 12:08:59 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

Lagrange was added in 8ec8fe0fcc155e0e3e0cc14a3b04b51c1a7ac10c.
Closing.