Fixed a memory leak in do_cache_push(). The document wasn't getting
treeb902e2a29bb0b2bb7dad0ae2a8d3f0db5af75e87
-rw-r--r-- 17213 COMMANDS
-rw-r--r-- 17989 COPYING
-rw-r--r-- 9416 INSTALL
-rw-r--r-- 0 KnownBugs
-rw-r--r-- 352 Makefile.am
-rw-r--r-- 22691 NEWS
-rw-r--r-- 4034 README
-rw-r--r-- 1759 TODO
-rwxr-xr-x 2412 autogen.sh
-rw-r--r-- 5987 configure.ac
drwxr-xr-x - debian
drwxr-xr-x - doc
drwxr-xr-x - po
drwxr-xr-x - src