diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2020-01-02 18:21:49 +0000 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2020-01-02 18:26:01 +0000 |
| commit | 1502c15352235371946db877a55da739d5fb7580 (patch) | |
| tree | 72053d3c14c8e6cfa38b80c890969d734773bc0e /debian/changelog | |
| parent | 82194f4c43cd5055d964b60a7c4244376e20f5af (diff) | |
| download | git-repair-1502c15352235371946db877a55da739d5fb7580.tar.gz | |
refresh remaining patch
Diffstat (limited to 'debian/changelog')
| -rw-r--r-- | debian/changelog | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 325ccdf..c23e81a 100644 --- a/debian/changelog +++ b/debian/changelog @@ -8,6 +8,8 @@ git-repair (1.20200102-1) UNRELEASED; urgency=medium - fix-build-with-quickcheck-2.8.2.patch - patch-duplicate-arbitrary-instance-out-o.patch - split-out-module-to-work-around-badly-na.patch. + * Refresh remaining patch, patch-common.hs-to-avoid-duplicate-impor.patch. + Partially applied upstream. * Stop adding upstream entries to debian/changelog. * wrap-and-sort -abst |