Since 1.7.2 I’m not able to use the grid sync feature. If I try to invoke it, I get the usual pop-up that asks me if I want to sync the grid with the other iPad, that it is connected to the network. However, if I tap OK, nothing happens on the other iPad. Is this a known bug that will be fixed on 1.7.3?