OSDN Git Service

Merge pull request #2240 from koenpunt/patch-1
authorRiyad Preukschas <riyad@informatik.uni-bremen.de>
Mon, 10 Dec 2012 13:31:27 +0000 (05:31 -0800)
committerRiyad Preukschas <riyad@informatik.uni-bremen.de>
Mon, 10 Dec 2012 13:31:27 +0000 (05:31 -0800)
Added link to support forum


Trivial merge