Subject: Re: [bug#38635] [PATCH v3] Add why3 and frama-c

From: Julien Lepiller <[email-masked]>
Date: Wed, 2 Jun 2021 03:11:45 +0200

After more than a month without a reply, I pushed to master as
c9b3627d566bde6b60841185f147589df45e65eb and
b94bc3ea30a9451f9019cca66ac20f585870eecd. Thanks!