10 Apr
2012
10 Apr
'12
8:04 p.m.
On Tue, Apr 10, 2012 at 16:47, Tom Gundersen <teg@jklm.no> wrote:
This will allow us to get rid of /lib eventually.
Thanks! Applied.