Did I understand correctly that I can remove the entire dev-tools/maven directory for this attempt?
Absent objections, I’ll push this Friday before 10:00 AM, UTC-5. --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
