Subject: Re: [bug#39569] [PATCH] gnu: Add cl-numcl.

From: Guillaume Le Vaillant <[email-masked]>
Date: Wed, 12 Feb 2020 10:11:58 +0100

Pushed as 7ad122007dc4fc9ab6bab9a17cdef6cbab68d20b. Thanks.