It's up to you how you want to handle it. Did she irritate you enough to warrant a public outing? If you feel she deserves it, then go for it in co-ed.
I've had sessions with people I would never see again for various reasons, yet never posted an alert on. I guess it just comes down to how much time and energy do you want to spend on this person, or is it better just to let it go and move on to someone else?
Also, keep in mind that the longer you hobby the greater your chances become of being ncns'd by at least one person; it's all part of the game and happens to us all on both sides. Annoying, but c'est la vie.
Better luck to you in 2017.