From: Remi Collet <remi@php.net>
Date: Tue, 19 Feb 2019 07:52:18 +0000 (+0100)
Subject: Merge branch 'PHP-7.4'
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=b4ee6ade99849ef37219bcac599ee07f537cfa29;p=php

Merge branch 'PHP-7.4'

* PHP-7.4:
  add readline_list_history with libedit >= 3.1 and mingweditline
---

b4ee6ade99849ef37219bcac599ee07f537cfa29