Summary of changes: 0a6bce9... Update to 7995 svn revision (*) d604d95... Update to 7995 svn revision (*) (*) This commit already existed in another branch; no separate mail sent