09:20 < DktrKranz> doko: re bug 324636, ludovic uploaded version 4.3.3-1, could gnat-4.3 be synced then? 09:38 < doko> DktrKranz: please merge from gcc-4.3 4.3.3-4 instead of syncing 09:40 < DktrKranz> doko: sure, I'll have a look. Thanks!
09:20 < DktrKranz> doko: re bug 324636, ludovic uploaded version 4.3.3-1, could gnat-4.3 be synced then?
09:38 < doko> DktrKranz: please merge from gcc-4.3 4.3.3-4 instead of syncing
09:40 < DktrKranz> doko: sure, I'll have a look. Thanks!