[jboss-jira] [JBoss JIRA] Commented: (JGRP-1014) NAKACK: SET_DIGEST does not overwrite the digest