The following commit has been merged in the master branch:
commit 0d5f967a75489585fe3254b0ed120ecf95972748
Merge: 18c4c605fbc2aa1f1a9093c42802d4bcd7b7dbc2
041bf445b8003f49d0701aed137dc90b77929836
Author: Hendrik Tews hend...@askra.de
Date: Tue Apr 24 20:12:55 2012 +0200
Merge tag
The following commit has been merged in the master branch:
commit acba4c3a41c04c0067e1616b92d6a3c82c698843
Author: Hendrik Tews hend...@askra.de
Date: Tue Apr 24 23:20:48 2012 +0200
fix copyright file
- also add a patch to fix the broken Makefile
diff --git a/.pc/applied-patches
The following commit has been merged in the pristine-tar branch:
commit 5bb44edc0d43e4c08bac8ef0aa2a3fd4b3c803e1
Author: Hendrik Tews hend...@askra.de
Date: Tue Apr 24 20:12:55 2012 +0200
pristine-tar data for hol-light_20120423.orig.tar.gz
diff --git a/hol-light_20120423.orig.tar.gz.delta
The annotated tag, upstream/20120423 has been created
at 3f24693526e2df1da8012ee8b07ae8fcc2d2470e (tag)
tagging 041bf445b8003f49d0701aed137dc90b77929836 (commit)
replaces upstream/20120322
tagged by Hendrik Tews
on Tue Apr 24 20:12:55 2012 +0200
- Shortlog
4 matches
Mail list logo