On Jan 10, 2009, at 3:34 PM, Johannes Schindelin wrote:
Logically, and to avoid committing a broken revision, 1/6 should come last, methinks.
RUNTIME_PREFIX is not defined before 6/6. But I agree, 1/6 should probably be moved after 5/6. Steffen -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html