Overview
Request 713590 accepted
- ignore make check error for diff --color as tracked by
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=36488
- Created by michel_mno
- In state accepted
-
Package maintainers:
ateixeira and
jirislaby
Loading...
Login required, please
login
in order to comment
Request History
michel_mno created request
- ignore make check error for diff --color as tracked by
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=36488
jirislaby accepted request
OK, until we have a proper fix
