[Unison-hackers] the unison [0-9]*.* bug

[Claudio]

Hi unison developers and hackers,

I've been using unison productively for quite a while. It rocks!  Thanks
for it!

I've encountered the behaviour that unison ignores some files even if
there isn't a single "ignore" directive(!). For example those files are
affected:

1237678487.000102.mbox:2,S
20._Geburtstag
05.HTM
400.html
04.03.tar.gz
2.
3.3
4.foo
55.bar

unison version 2.27.57 (shipped with ubuntu)

So it doesnt sync my mails in ~/Maildir and a huge amount other
documents. I found a creepy workaround:

ignorenot = Name [0-9]*.*

Is this bug new anyway?

Greetings

Claudio Harringer