| Category: | Bug report |
Priority: | Normal |
Status: | Resolved |
| Project: | Severity: | Minor |
Resolution: | Fixed |
|
| Component: | Reproducibility: | Always |
Assigned to: |
Should be trivial to fix. An utility to validate this kind of things may be useful.
