On 20.02.2012 17:11, Michal Hlavinka wrote:
and also in sieve (for pigeonhole):
change
include :personal "00-script1.sieve";
to
include :personal "00-script1";
Hi Michal,
See pigeonhole changelog:
v0.2.6 13-02-2012 Stephan Bosch <step...@rename-it.nl>
* This release fixes unintentional behavior of the include extension.
Included
scriptnames with a name like "name.sieve" would implicitly map to a
script
file called "name.sieve" and not "name.sieve.sieve". Keep in mind
that the
.sieve file extension has no meaning from within the Sieve language.
A Sieve
script is always stored with an appended .sieve file extension, also
when
the name already ends with a .sieve suffix.
IMPORTANT: Some installations have relied on this unintentional
feature, so
check your script includes for issues before upgrading.
Best regards,
Morten
