docs: fix #42; fix #43 [ci skip]
authorMichael Wallner <mike@php.net>
Tue, 21 Jan 2020 16:55:06 +0000 (17:55 +0100)
committerMichael Wallner <mike@php.net>
Tue, 21 Jan 2020 17:05:13 +0000 (18:05 +0100)

No differences found