Overview
Artifact ID: | ec0f4df2b38730ef15842061ed9ab9871066257c |
---|---|
Ticket: | fb2208172c671f29d60e9ac928d9ded45d01d8b8
tclIndex varies across builds from auto_mkindex |
User & Date: | jan.nijtmans 2017-07-17 08:05:34 |
Changes
- assignee changed to: "jan.nijtmans"
- closedate changed to: "2457951.83720995"
- closer changed to: "jan.nijtmans"
- icomment:
Thanks for the bug report. Fixed in all active branches.
- login: "jan.nijtmans"
- mimetype: "text/plain"
- resolution changed to: "Fixed"
- status changed to: "Closed"