View Issue Details

IDProjectCategoryView StatusLast Update
0002518libextractorpluginspublic2023-12-02 12:46
ReporterChristian Grothoff Assigned ToChristian Grothoff Due Date
PrioritynormalSeverityfeatureReproducibilityN/A
Status closedResolutionfixed 
Product VersionGit master 
Target Version1.13Fixed in Version1.13 
Summary0002518: real plugin should be ported to new API
DescriptionPlugin for the old API exists in src/plugins/old/
TagsNo tags attached.

Activities

Christian Grothoff

2021-05-02 20:33

manager   ~0017792

Fixed in 1cc2d75..d40016f

Issue History

Date ModifiedUsernameFieldChange
2012-08-24 21:32Christian GrothoffNew Issue
2021-05-02 20:33Christian GrothoffAssigned To => Christian Grothoff
2021-05-02 20:33Christian GrothoffStatusnew => resolved
2021-05-02 20:33Christian GrothoffResolutionopen => fixed
2021-05-02 20:33Christian GrothoffFixed in Version => 1.13
2021-05-02 20:33Christian GrothoffNote Added: 0017792
2021-05-02 20:33Christian GrothoffTarget Version => 1.13
2023-12-02 12:46Christian GrothoffStatusresolved => closed