From: Michael Wallner <mike@php.net>
Date: Fri, 15 May 2015 12:38:25 +0000 (+0200)
Subject: tiny fixes
X-Git-Url: https://git.m6w6.name/?a=commitdiff_plain;ds=sidebyside;h=bc779094fcd9c484492979bc73f04ba0cf914c85;hp=bc779094fcd9c484492979bc73f04ba0cf914c85;p=pharext%2Fpharext.org

tiny fixes
---