Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:104512 Return-Path: Delivered-To: mailing list internals@lists.php.net Received: (qmail 71429 invoked from network); 22 Feb 2019 21:26:12 -0000 Received: from unknown (HELO scarlet.netpirates.net) (188.94.27.5) by pb1.pair.com with SMTP; 22 Feb 2019 21:26:12 -0000 Received: from p5b2acf9a.dip0.t-ipconnect.de ([91.42.207.154] helo=linux.fritz.box) by scarlet.netpirates.net with esmtpsa (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256) (Exim 4.91) (envelope-from ) id 1gxFIR-0004ER-0I for internals@lists.php.net; Fri, 22 Feb 2019 19:11:39 +0100 To: internals@lists.php.net References: Message-ID: Date: Fri, 22 Feb 2019 19:11:37 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.5.1 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 7bit Subject: Re: [PHP-DEV] Change default branch in GitHub for php-src From: sebastian@php.net (Sebastian Bergmann) On 2/22/19 7:00 PM, Gabriel Caruso wrote: > So, I'd like to propose that the default branch should be *`PHP-7.4`*. Makes sense to me.