diff options
author | David Kalnischkies <david@kalnischkies.de> | 2016-03-12 11:43:16 +0100 |
---|---|---|
committer | David Kalnischkies <david@kalnischkies.de> | 2016-04-25 15:35:52 +0200 |
commit | 3383ef4d30b3fb1057e21f5598d3128b9afbe34d (patch) | |
tree | f7c2bccbb0ce55ef0df95b6a61934f63302cfd2e /po/el.po | |
parent | 742f67eaede80d2f9b3631d8697ebd63b8f95427 (diff) |
sanify unused ReportMirrorFailure a tiny bit
Calling the (non-existent) reporter multiple times for the same error
with different codes for the same error (e.g. hashsum) is a bit strange.
It also doesn't need to be a public API. Ideally that would all look and
behave slightly different, but we will worry about that at the time this
is actually (planed to be) used somewhere…
Git-Dch: Ignore
Diffstat (limited to 'po/el.po')
0 files changed, 0 insertions, 0 deletions