projects
/
feed
/
packages.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
3ff9c91
75992cc
)
Merge PR #13179 via local branch.
author
Michael Heimpold
<mhei@heimpold.de>
Sun, 23 Aug 2020 20:57:08 +0000
(22:57 +0200)
committer
Michael Heimpold
<mhei@heimpold.de>
Sun, 23 Aug 2020 20:58:12 +0000
(22:58 +0200)
Trivial merge
projects / feed / packages.git / commitdiff