[hibernate-dev] changelog and already-solved issues

It seems that the JGroups refactoring in Search done to share a single Channel resolved a critical problem, but I wasn't aware of it. Would it make sense to open an "after the fact" issue and mark it solved for the already-released 4.1.0.Final ? It was embarrassingly wrong, but now that it's solved without anything tracking it, I don't want to hide the skeleton in the closet.. Cheers, Sanne