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: dev-unsubscr...@lucene.apache.org For additional commands, e-mail: dev-h...@lucene.apache.org