Hallo Helge, Am Di., 17. Dez. 2019 um 20:33 Uhr schrieb Helge Kreutzmann <[email protected]>: > > Moin, > On Tue, Dec 17, 2019 at 07:52:59PM +0100, Mario Blättermann wrote: > > Am Di., 17. Dez. 2019 um 08:47 Uhr schrieb Helge Kreutzmann > > <[email protected]>: > > > On Mon, Dec 16, 2019 at 09:05:07PM +0100, Mario Blättermann wrote: > > > Mir ist nicht klar, was im zweiten Satz mit »branches« gemeint ist. Du > > > hast das in der Übersetzung ja nicht übernommen. > > > > > Man muss es sich halt zusammenreimen: branches → braces. > > Stimmt, so ergibt das Sinne. Machst Du ein FIXME dran? > Schon geschehen.
Gruß Mario
