Follow-up Comment #2, bug #62243 (project denemo): Yeah this was found by a new tool, but it's not open source yet (and it's also not really user-friendly :) ).
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?62243>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
