View Issue Details

IDProjectCategoryView StatusLast Update
0000656luatexfeature requestpublic2015-11-11 22:54
ReporterTaco Assigned Toluigi scarso  
PrioritynormalSeverityminorReproducibilityhave not tried
Status closedResolutionno change required 
Target Version0.90.0 
Summary0000656: update luaprofiler
Descriptionluatex includes a fairly old one at the moment.
TagsNo tags attached.

Activities

Hans Hagen

2015-11-03 19:49

manager   ~0001505

also mention in manual (was other item)

luigi scarso

2015-11-11 12:06

developer   ~0001538

Before anything else better to check
https://github.com/luaforge/luaprofiler

Issue History

Date Modified Username Field Change
2011-05-16 08:18 Taco New Issue
2011-05-16 08:18 Taco Status new => assigned
2011-05-16 08:18 Taco Assigned To => Taco
2015-11-03 19:49 Hans Hagen Note Added: 0001505
2015-11-11 11:34 Hans Hagen Assigned To Taco => luigi scarso
2015-11-11 11:35 Hans Hagen Target Version => 0.90.0
2015-11-11 12:06 luigi scarso Note Added: 0001538
2015-11-11 22:54 Hans Hagen Status assigned => closed
2015-11-11 22:54 Hans Hagen Resolution open => no change required