Azure sync: User missing from group

Symptom: User does not receive printers allocated via Azure Group membership.

Remedy:

In the Azure Portal 'restart' provisioning to force a full re-sync of group memberships.

The user should sync within 40 minutes.