Subject: Re: bug#56041: [PATCH] gnu: Add vkmark.
From: Ludovic Courtès <[email-masked]>
To: Tomasz Jeneralczyk <[email-masked]>
Cc: [email-masked]
Date: Sun, 08 Jan 2023 16:11:23 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Tomasz,

Tomasz Jeneralczyk <[email-masked]> skribis:

> * gnu/packages/benchmark.scm (vkmark): New variable.

Finally applied—apologies for the delay.

Thank you, and thanks ( for reviewing!

Ludo’.