If you're curious, write to her. Otherwise, just ignore it. Tell your coworker to say hello for you if she runs into her again, you bear her no malice, you just don't have time for that kind of relationship right now.