Fri, 09 Aug 2013 19:01:05 +0200 Alpar Juttner Merge NEWS file update to branch 1.3 1.3 r1.3
Fri, 09 Aug 2013 18:58:46 +0200 Alpar Juttner Update NEWS file
Fri, 09 Aug 2013 18:56:00 +0200 Alpar Juttner Trim the documentation 1.3
Fri, 09 Aug 2013 14:39:40 +0200 Alpar Juttner Release branch 1.3 created 1.3
Fri, 09 Aug 2013 11:29:40 +0200 Alpar Juttner Remove long lines (from all but one file)
Fri, 09 Aug 2013 11:28:17 +0200 Alpar Juttner Apply unify-sources.sh to the source tree
Fri, 09 Aug 2013 14:07:27 +0200 Alpar Juttner Merge bugfix #439