{"shas":[["16d84e77c21dfcfb6e6cc1e84301b2062a0d0a0b","9f57fc072b8757907996236ac210875577724d65@dkfz-heidelberg.de","Prevent m_RegisteredClients to take negative values.","Sascha Zelzer"],["9de85eba8f1847a4f578518f345cac938276c372","9f57fc072b8757907996236ac210875577724d65@dkfz-heidelberg.de","Merge branch 'bug-8795-toolmanager-unregister-client-is-negative'\n\n* bug-8795-toolmanager-unregister-client-is-negative:\n  Prevent m_RegisteredClients to take negative values.","Sascha Zelzer"]],"ref":"refs/heads/master","size":2,"head":"9de85eba8f1847a4f578518f345cac938276c372","push_id":37259371}