Comment 3 for bug 1810592

Revision history for this message
Matthias Dieter Wallnöfer (mwallnoefer) wrote :

Is the tool still maintained? Does it make sense to keep the issue open?