On Mittwoch, 12. Juli 2017, 13:29:06 CEST wrote Dirk Müller: That the point. If you would have branched it it would get updated. is there a problem with just rebranching it and repairing the messup? I agree that it probably makes a lot more sense to have ...
↧
