diff options
author | Andrey Andreev <narf@devilix.net> | 2020-04-06 09:56:17 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-06 09:56:17 +0200 |
commit | 1428072599798395b04a545cfe483707cd2aaaca (patch) | |
tree | 14bbc6199ee5875e3626fc3efe062cf21dbfd09f /system/libraries/User_agent.php | |
parent | e7653a5f22b1803b2eb341bcff89b744b0caac03 (diff) | |
parent | 5abd2ae8c7fb30585dae2bf96ffa847771ebad7f (diff) |
[ci skip] Merge pull request #5938 from taitomagatsu/fix-image-creation-from-png
Fixed issue with creating a resource from png using Image_lib
Diffstat (limited to 'system/libraries/User_agent.php')
0 files changed, 0 insertions, 0 deletions