CASShib made no modifications to the single sign out part of the CAS
server code. If there is a single sign out bug, I won't be able to
help much, other than perhaps merging patches made to CAS post-3.4.2.
I suggest posting to the CAS mailing list and tell them what version
of CAS you are using (3.4.2?) and explain the single sign out problem
you are having. The CAS mailing lists are located here:
http://www.jasig.org/cas/mailing-lists. If they tell you it was a bug
fixed in a version later than 3.4.2, then I can merge it in for you.