Since my merge-request on gitorious has not yet popped up in the mailinglist:

The following changes since commit e1f57733340d950665803164c85e2a7948674de3:
Sylvain Joyeux (1):
dist: readline is 'readline', not 'readline5'

are available in the git repository at:

git://gitorious.org/~rsmits/orocos-toolchain/rsmits-ocl.git master

Ruben Smits (1):
fix renaming issues

reporting/ReportingComponent.cpp | 4 ++--
taskbrowser/TaskBrowser.cpp | 10 +++++-----
taskbrowser/TaskBrowser.hpp | 6 +++---
3 files changed, 10 insertions(+), 10 deletions(-)