I've created some pull requests two-three weeks ago on some of the rock-core packages: https://github.com/orgs/rock-core/dashboard/pulls
I would be very glad if someone could have a look and give me a green light... Sylvain
_______________________________________________ Rock-dev mailing list [email protected] http://www.dfki.de/mailman/cgi-bin/listinfo/rock-dev
