Ich habe unter dem Bug Report https://bugzilla.mozilla.org/show_bug.cgi?id=1015655 einen Patch gepostet, der effektiv genau das bewirkt: DATE:YYYYMMDDT000000 wird als DATE:YYYYMMDD behandelt.
Damit ist das Problem dann gelöst.
Ich habe unter dem Bug Report https://bugzilla.mozilla.org/show_bug.cgi?id=1015655 einen Patch gepostet, der effektiv genau das bewirkt: DATE:YYYYMMDDT000000 wird als DATE:YYYYMMDD behandelt.
Damit ist das Problem dann gelöst.