]> granicus.if.org Git - php/commit
Merge branch 'pull-request/805'
authorAnatol Belski <ab@php.net>
Sat, 20 Sep 2014 17:46:44 +0000 (19:46 +0200)
committerAnatol Belski <ab@php.net>
Sat, 20 Sep 2014 17:46:44 +0000 (19:46 +0200)
commit132cd8be0d13eaeee200cfa09b0596f6619c6a7e
tree7a928718769260e60252c0e048d2f10d0cd94f8c
parent763bfb4f3b0e66d5a961f9f367aa86e9f9da262e
parent268bcdc1cb668f76b85a84bc4d32194548cc185a
Merge branch 'pull-request/805'

* pull-request/805:
  Removes accidentally added files.
  Reverts some unwanted changes
  Deletes patch leftovers
  Replaces php5 with php7, without whitespace changes.