Subject: Re: bug#51028: [PATCH 0/7] More julia packages

From: zimoun <[email-masked]>
Date: Mon, 11 Oct 2021 14:01:28 +0200

Hi,

I would write:

On mar., 05 oct. 2021 at 12:47, Efraim Flashner <[email-masked]> wrote:

> +    (synopsis "Options and configurations in Julia")

Tools for options and configurations

LGTM.

Cheers,
simon