Hi,

I see you have quite a few cards which contain two tags like: “main” and 
“main::sub”. Normally, they should only have the second tag, as the first one 
is completely superfluous. Due to a bug in Mnemosyne, these cards show up as 
‘untagged’ too.

I will look into this for the next release, but for now, I suggest you do a 
fresh sync from scratch, and for any new cards you create, make sure they don’t 
have these double tags.

Cheers,

Peter

From: mnemosyne-proj-users@googlegroups.com 
<mnemosyne-proj-users@googlegroups.com> On Behalf Of abakus0...@arcor.de
Sent: 21 May 2018 18:09
To: mnemosyne-proj-users@googlegroups com 
<mnemosyne-proj-users@googlegroups.com>
Subject: [mnemosyne-proj-users] Sync error - Deleting same fact twice

--
You received this message because you are subscribed to the Google Groups 
"mnemosyne-proj-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to 
mnemosyne-proj-users+unsubscr...@googlegroups.com<mailto:mnemosyne-proj-users+unsubscr...@googlegroups.com>.
To post to this group, send email to 
mnemosyne-proj-users@googlegroups.com<mailto:mnemosyne-proj-users@googlegroups.com>.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/mnemosyne-proj-users/ents4mevw5sfxji0jm30d5kq.1526918963523%40email.android.com<https://groups.google.com/d/msgid/mnemosyne-proj-users/ents4mevw5sfxji0jm30d5kq.1526918963523%40email.android.com?utm_medium=email&utm_source=footer>.
For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups 
"mnemosyne-proj-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to mnemosyne-proj-users+unsubscr...@googlegroups.com.
To post to this group, send email to mnemosyne-proj-users@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/mnemosyne-proj-users/a1de961da34a4be3a9a24a549e1a318f%40xmail102.UGent.be.
For more options, visit https://groups.google.com/d/optout.

Reply via email to