This repository was archived by the owner on Jul 11, 2023. It is now read-only.

Bugfix for resource serialization#1

Merged

ppamment merged 2 commits intomasterfrom

bugfix/php-resources-cant-be-serialized

Nov 17, 2017

Commits on Oct 31, 2017