tree 1c73dc0e8feca889d95d07e0672c0aa97ff8d921
parent b6c8b0db043fb4a67ee826ee5ac2db113ef8ec50
author Christopher Faulet <cfaulet@haproxy.com> 1503923324 +0200
committer Willy Tarreau <w@1wt.eu> 1504599200 +0200
encoding latin1

CLEANUP: memory: Remove unused function pool_destroy

This one was never used.