Subject: Re: bug#38085: [PATCH] Two functions named ‘package-menu--refresh’

From: Tino Calancha <[email-masked]>
Date: Wed, 06 Nov 2019 09:30:37 +0000

Dario Gjorgjevski <[email-masked]> writes:

I mean, this is bug 38084