tree 24380cee848389887d2f015fbc58b2eadf4f534c
parent b54e85c107176aefda25e62777208fa9e6f5abe0
author Richard Henderson <rth@twiddle.net> 1373309158 -0700
committer Richard Henderson <rth@twiddle.net> 1373309158 -0700

Omit video_save_pointer_table as unused.