projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 279e5ca) | patch
mail-filter/sigh: Use correct distfile name
authorAngelo G. Del Regno <kholk11@gmail.com>
Sun, 28 May 2017 09:50:00 +0000 (11:50 +0200)
committerLars Wendler <polynomial-c@gentoo.org>
Tue, 30 May 2017 15:32:44 +0000 (17:32 +0200)
commitdbc05bd210e53ff6f11dd6d3dc14bd4dd6c5ac38
tree547d677ba208ac415f84cf007fd7103410dc8084tree | snapshot
parent279e5cafabc0643d7183854ae068fc57459d9305commit | diff
mail-filter/sigh: Use correct distfile name

Update SRC_URI to rename the distfile correctly.
Closes: https://github.com/gentoo/gentoo/pull/4786
mail-filter/sigh/Manifest diff | blob | history
mail-filter/sigh/sigh-1607.1.2.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.