View Issue Details

IDProjectCategoryView StatusLast Update
0001754Database Workbench v6Generalpublic2021-12-03 12:27
ReporterMartijn Tonies Assigned ToMartijn Tonies  
PrioritynormalSeverityfeatureReproducibilityhave not tried
Status closedResolutionfixed 
Fixed in Version6.0 
Summary0001754: Add 'filter' to catalogs
DescriptionAdd filter box to catalogs to filter titles
TagsNo tags attached.


There are no notes attached to this issue.

Issue History

Date Modified Username Field Change
2020-01-22 16:59 Martijn Tonies New Issue
2020-09-08 17:07 Martijn Tonies Assigned To => Martijn Tonies
2020-09-08 17:07 Martijn Tonies Status new => resolved
2020-09-08 17:07 Martijn Tonies Resolution open => fixed
2020-09-08 17:07 Martijn Tonies Fixed in Version => 6.0
2021-12-03 12:27 Martijn Tonies Status resolved => closed