Pindroid stopped syncing after system update

[khinsen]

I have been using Pindroid (latest version from the Play Store) on my Samsung Galaxy S3 running Samsung's Android 4.3 for about a year without any problems. Recently I updated to Cyanogenmod's Android 4.4 version (CM11), and since that update, Pindroid doesn't sync any more automatically. Syncing itself still works fine when I launch it manually from Settings.

Everything else on auto-sync (contacts and calendars via DavDroid) works like before, so the problem seems specific to Pindroid.

Initially I suspected Cyanogenmod's privacy features, but switching them off for Pindroid makes no difference.