Re: [arch-general] [arch-dev-public] Git for the repos
25 Aug
2011
25 Aug
'11
6:30 p.m.
On Thu, Aug 25, 2011 at 01:41:50PM -0400, Eric Bélanger wrote:
Pierre pushed that patch some hours ago [1], so this should be fixed with the next devtools release. [1] http://projects.archlinux.org/devtools.git/commit/?id=c2420902
4960
Age (days ago)
4960
Last active (days ago)
0 comments
1 participants
participants (1)
-
Lukas Fleischer