[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#36707: [PATCH] Signal user-error on duplicate package refresh
From: |
Stefan Kangas |
Subject: |
bug#36707: [PATCH] Signal user-error on duplicate package refresh |
Date: |
Thu, 22 Aug 2019 19:04:30 +0200 |
close 36707 27.1
quit
Stefan Kangas <stefan@marxist.se> 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