View Issue Details
| ID | Project | Category | View Status | Date Submitted | Last Update |
|---|---|---|---|---|---|
| 0000452 | luatex | feature request | public | 2010-08-03 07:54 | 2010-08-23 21:05 |
| Reporter | Taco | Assigned To | Taco | ||
| Priority | normal | Severity | minor | Reproducibility | have not tried |
| Status | closed | Resolution | fixed | ||
| Product Version | 0.62.0 | ||||
| Target Version | 0.62.0 | ||||
| Summary | 0000452: add lua opened files to the filename recorder | ||||
| Description | probably by hooking into io.open() | ||||
| Tags | No tags attached. | ||||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2010-08-03 07:54 | Taco | New Issue | |
| 2010-08-03 07:54 | Taco | Status | new => assigned |
| 2010-08-03 07:54 | Taco | Assigned To | => Taco |
| 2010-08-03 09:02 | Taco | Note Added: 0000592 | |
| 2010-08-03 09:02 | Taco | Status | assigned => feedback |
| 2010-08-23 21:05 | Taco | Status | feedback => closed |
| 2010-08-23 21:05 | Taco | Resolution | open => fixed |
| 2010-08-23 21:05 | Taco | Product Version | => 0.62.0 |
| 2010-08-23 21:05 | Taco | Target Version | => 0.62.0 |
