chiark / gitweb /
~mdw / stgit / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 83e51db eda45db)
Merge branch 'proposed'
authorCatalin Marinas <catalin.marinas@gmail.com>
Sat, 8 Nov 2008 22:00:42 +0000 (22:00 +0000)
committerCatalin Marinas <catalin.marinas@gmail.com>
Sat, 8 Nov 2008 22:00:42 +0000 (22:00 +0000)

Trivial merge
GIT patch-maintenance porcelain (local modifications)