#182: Variable-assignment options to "make" gain additional whitespace ---------------------+------------------------------------------------------ Reporter: hinder | Owner: Type: defect | Status: new Priority: minor | Milestone: Component: Cactus | Version: Resolution: | Keywords: make ---------------------+------------------------------------------------------
Comment (by eschnett):
Okay to apply.