![[Jenkins]](/jenkins/static/8ad6470a/images/svgs/logo.svg){kind=logo}
View Last Changes of build #600
Previous revision: 3e67f3b5cfdb71b1a29f9ab69aed089227913573
Author: drrossum
E-mail: d.r.vanrossum at gmx.de
Date: Jun 18, 2020, 1:22:56 PM GMT+02:00
Message: Fix configure error
Author: drrossum
E-mail: d.r.vanrossum at gmx.de
Date: Jun 18, 2020, 1:22:56 PM GMT+02:00
Message: Fix configure error
Current revision: 3e67f3b5cfdb71b1a29f9ab69aed089227913573
Author: drrossum
E-mail: d.r.vanrossum at gmx.de
Date: Jun 18, 2020, 1:22:56 PM GMT+02:00
Message: Fix configure error
Author: drrossum
E-mail: d.r.vanrossum at gmx.de
Date: Jun 18, 2020, 1:22:56 PM GMT+02:00
Message: Fix configure error