View Issue Details

IDProjectCategoryView StatusLast Update
0000452luatexfeature requestpublic2010-08-23 21:05
ReporterTacoAssigned ToTaco 
PrioritynormalSeverityminorReproducibilityhave not tried
Status closedResolutionfixed 
Product Version0.62.0 
Target Version0.62.0Fixed in Version 
Summary0000452: add lua opened files to the filename recorder
Descriptionprobably by hooking into io.open()
TagsNo tags attached.

Activities

Taco

2010-08-03 09:02

administrator   ~0000592

Should be done by #3794

Issue History

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