tree ca2d32ed0c48b4933d89b767333008db71890e14
parent 5ffc44fda184d195709e9d76d014b31da8e10cd1
parent 868b4309a90ac6d2691dec2e06dea273ae9a732f
author Mickael Istria <mistria@redhat.com> 1342775722 +0200
committer Mickael Istria <mistria@redhat.com> 1342775722 +0200

Merge remote-tracking branch 'eclipse/master' into recorder-spike