'Bad Filename' if it contains a unique ID

[hb9eue]

Hi

May I draw your attention to debian bug 923551?

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=923551

https://tools.ietf.org/html/rfc7489#section-7.2.1.1 says:

---

 filename = receiver "!" policy-domain "!" begin-timestamp
            "!" end-timestamp [ "!" unique-id ] "." extension

 unique-id = 1*(ALPHA / DIGIT)

-Benoît-

[keltia]

I will have a look, I never had this before with my own reports from various sources.