Hi, 2017-07-12 11:46 GMT+02:00 Andreas Schwab <[email protected]>:
>> it does not anymore, since I re-created the 000product container in the ports >> projects. > 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 them branched (ideally with a next-to-zero diff). Greetings, Dirk -- To unsubscribe, e-mail: [email protected] To contact the owner, e-mail: [email protected]
