Subject: bug#36707: [PATCH] Signal user-error on duplicate package refresh

From: Stefan Kangas <[email-masked]>
Date: Thu, 22 Aug 2019 19:04:30 +0200

close 36707 27.1
quit

Stefan Kangas <[email-masked]> writes:

> Are there any other objections to the patch?  Otherwise, I'll go ahead
> and push it in a few days.

I've now pushed this as commit a6d87ea045.  Closing the report.

Thanks,
Stefan Kangas