View Issue Details

IDProjectCategoryView StatusLast Update
0002518libextractorpluginspublic2023-12-02 13:46
ReporterChristian Grothoff Assigned ToChristian Grothoff  
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 22:33

manager   ~0017792

Fixed in 1cc2d75..d40016f

Issue History

Date Modified Username Field Change
2012-08-24 23:32 Christian Grothoff New Issue
2021-05-02 22:33 Christian Grothoff Assigned To => Christian Grothoff
2021-05-02 22:33 Christian Grothoff Status new => resolved
2021-05-02 22:33 Christian Grothoff Resolution open => fixed
2021-05-02 22:33 Christian Grothoff Fixed in Version => 1.13
2021-05-02 22:33 Christian Grothoff Note Added: 0017792
2021-05-02 22:33 Christian Grothoff Target Version => 1.13
2023-12-02 13:46 Christian Grothoff Status resolved => closed