On Mon, Aug 13, 2018 at 8:07 AM, Pedro Magalhães wrote:
> On Fri, Aug 10, 2018 at 12:19 PM Christoph M. Becker
> wrote:
>
>> On 01.08.2018 at 20:29, Pedro Magalhães wrote:
>> > If anyone finds some value in having something like this and wishes to
>> > revive our instance, I'd be glad to help
On Fri, Aug 10, 2018 at 12:19 PM Christoph M. Becker
wrote:
> On 01.08.2018 at 20:29, Pedro Magalhães wrote:
> > If anyone finds some value in having something like this and wishes to
> > revive our instance, I'd be glad to help setting it up. If we feel that
> > Travis + Appveyor are enough,
Hi Nikita,
On Sat, 11 Aug 2018 at 11:03, Nikita Popov wrote:
> On Wed, Aug 8, 2018 at 11:09 PM, Nicolai Scheer
> wrote:
>
>> [resource destructor does not get called until shutdown]
>
>
> My guess would be some kind of refcounting issue. For example
> zend_update_property will already
On Sun, Aug 12, 2018 at 7:00 PM, Christoph M. Becker
wrote:
> Hi!
>
> Quite a while ago we have accepted the “Use default_charset As Default
> Character Encoding” RFC[1], which also contains the clause “Old
> iconv.*/mbstring.* php.ini parameters will be removed for master PHP6”
> (obviously
On Sun, Aug 12, 2018 at 6:43 PM, Sara Golemon wrote:
> On Sun, Aug 12, 2018 at 12:47 AM, Stanislav Malyshev
> wrote:
> > Undefined behavior is undefined :)
> >
> (Ignoring your followup for a moment)
> Even for undefined behavior, we should *try* to make the behavior
> repeatable. I know we