[ocl] branch patch-queue/master deleted (was d23d41d)

[Leopold Palomo-Avellaneda]

This is an automated email from the git hooks/post-receive script.

lepalom-guest pushed a change to branch patch-queue/master
in repository ocl.

       was  d23d41d   Added SOVERSION to deployment libraries

This change permanently discards the following revisions:

  discards  d23d41d   Added SOVERSION to deployment libraries
  discards  a7c0c88   Added SONAME to taskbrowser lib

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/orocos/ocl.git