2011/12/14 Lorenzo Bettini <[email protected]>: > click 'bugs' (on the top menu) and then you should see 'submit' (or 'new')
filed here: https://savannah.gnu.org/bugs/index.php?35070 _______________________________________________ Help-source-highlight mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-source-highlight
