Re: reverted marble mess

2017-07-18 Thread Axel Richter
Am 18.07.2017 um 18:59 schrieb Dirk Hohndel: On Jul 18, 2017, at 9:41 AM, Axel Richter wrote: Am 15.07.2017 um 07:53 schrieb Dirk Hohndel: Since Tomaz hasn't had the time to fix the broken marble source (and currently builds from source were failing) I reverted the

Re: reverted marble mess

2017-07-18 Thread Dirk Hohndel
> On Jul 18, 2017, at 9:41 AM, Axel Richter wrote: > > Am 15.07.2017 um 07:53 schrieb Dirk Hohndel: >> Since Tomaz hasn't had the time to fix the broken marble source (and >> currently builds from source were failing) I reverted the merge of his >> changes. Of course

Re: reverted marble mess

2017-07-18 Thread Axel Richter
Am 15.07.2017 um 07:53 schrieb Dirk Hohndel: Since Tomaz hasn't had the time to fix the broken marble source (and currently builds from source were failing) I reverted the merge of his changes. Of course that means I need to be extra careful to handle this branch moving forward, because if we

Re: reverted marble mess

2017-07-18 Thread Axel Richter
Am 15.07.2017 um 07:53 schrieb Dirk Hohndel: Since Tomaz hasn't had the time to fix the broken marble source (and currently builds from source were failing) I reverted the merge of his changes. Of course that means I need to be extra careful to handle this branch moving forward, because if we

reverted marble mess

2017-07-14 Thread Dirk Hohndel
Since Tomaz hasn't had the time to fix the broken marble source (and currently builds from source were failing) I reverted the merge of his changes. Of course that means I need to be extra careful to handle this branch moving forward, because if we decide to do this merge after all, I first need