Commit f25f4bfcc358152a619b246bf91aa8653eb6cadd

Stefano Lattarini 2012-09-11T11:24:51

Merge branch 'maint' * maint: coverage: better exposure for automake bug#12372 (tags-related) coverage: expose automake bug#12372 (tags-related)