]> granicus.if.org Git - php/commit
Merge branch 'pull-request/1987'
authorJulien Pauli <jpauli@php.net>
Fri, 8 Jul 2016 13:28:28 +0000 (15:28 +0200)
committerJulien Pauli <jpauli@php.net>
Fri, 8 Jul 2016 13:28:28 +0000 (15:28 +0200)
commit26ccd8d1df35289f2d80aa67f5eb18640be1988c
treea5d2684b37bdb466741aff8aa3d6165dc694c829
parent09ea4a850af968c6d8bcc89557a25f63f2228794
parentce4e1c0e15f6ba4c596e9e32a74e846ef5f90d1b
Merge branch 'pull-request/1987'

* pull-request/1987:
  fix typo in configure message