#1499: Error in synchronisation after restriction ---------------------+------------------------------------------------------ Reporter: hinder | Owner: eschnett Type: defect | Status: reviewed_ok Priority: major | Milestone: ET_2014_05 Component: Carpet | Version: development version Resolution: | Keywords: ---------------------+------------------------------------------------------ Changes (by eschnett):
* status: review => reviewed_ok
Comment:
Higher order restriction operators are somewhat new, and I would not address them when backporting. I would keep the backports as simple as possible; adding the additional sync seems to do just that. Ok to backport from me.