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
> 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
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
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
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