The automatic sync seems to have already happened (after which the debian version was updated), or is it done more often?
The automatic sync seems to have already happened (after which the debian version was updated), or is it done more often?