projects
/
gringo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
bc50c8b
7008225
)
Merge gringo (5.4.1-3.1) import into refs/heads/workingbranch
author
Adrian Bunk
<bunk@debian.org>
Sat, 19 Nov 2022 10:33:48 +0000
(10:33 +0000)
committer
Adrian Bunk
<bunk@debian.org>
Sat, 19 Nov 2022 10:33:48 +0000
(10:33 +0000)
Trivial merge
projects / gringo.git / commitdiff