Janus Weil Mon, 16 Sep 2013 05:48:17 -0700
> A rather obvious patch. > > Build and regtested on x86-64-gnu-linux. > OK for the trunk?
Looks good to me! Thanks, Janus