3400f29 Re-enable debuginfo now that dune is fixed

Authored and Committed by jjames a year ago
    Re-enable debuginfo now that dune is fixed
    
        
file modified
+6 -2