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

From: Dario Gjorgjevski <[email-masked]>
Date: Wed, 06 Nov 2019 15:20:53 +0100

Stefan Kangas <[email-masked]> writes:

> Thanks, I installed a slightly different patch (attached) which I
> believe fixes this.

Thank you likewise Stefan for taking care of this so quickly!