diff options
| author | Peter Korsgaard <jacmet@sunsite.dk> | 2010-12-28 08:52:14 +0100 |
|---|---|---|
| committer | Peter Korsgaard <jacmet@sunsite.dk> | 2010-12-28 08:52:14 +0100 |
| commit | 6527001c9d42b95c76b7689ed8eeecd8d17740cd (patch) | |
| tree | b84e940c2fa43e7f727bfdbd80574060fe21fc3d /package/docker/Config.in | |
| parent | bff52482023a055aab28602ac630d229303c9013 (diff) | |
php: fix gmp extension build after libgmp bump
Patch from php svn r295402.
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
Diffstat (limited to 'package/docker/Config.in')
0 files changed, 0 insertions, 0 deletions