[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[FYI] Merge branch 'maint' into master
From: |
Stefano Lattarini |
Subject: |
[FYI] Merge branch 'maint' into master |
Date: |
Tue, 11 Sep 2012 11:47:43 +0200 |
commit f25f4bfcc358152a619b246bf91aa8653eb6cadd
Merge: 076e8fa 9c4ad69
Author: Stefano Lattarini <address@hidden>
AuthorDate: Tue Sep 11 11:24:51 2012 +0200
Commit: Stefano Lattarini <address@hidden>
CommitDate: Tue Sep 11 11:24:51 2012 +0200
Merge branch 'maint'
* maint:
coverage: better exposure for automake bug#12372 (tags-related)
coverage: expose automake bug#12372 (tags-related)