If they have unique post id's then it's definitely a double post problem. In 7.2, we tried a method to prevent this that didn't always work so we switched things up a bit for either 7.2.1 or 7.2.2, can't remember off the top of my head.