* tools/dev/verify-history.py   (_check_history, check_history): Remove pool parameter. Use   automatic memory management.   (add_history): Make pool parameter optional. Use automatic memory   management.   (main): Use automatic memory management.
* tools/dev/verify-history.py
  (_check_history, check_history): Remove pool parameter. Use
  automatic memory management.
  (add_history): Make pool parameter optional. Use automatic memory
  management.
  (main): Use automatic memory management.


git-svn-id: f8a4e5e023278da1e04e203c7fe051e3c4285d88@856300 13f79535-47bb-0310-9956-ffa450edef68

YueLinHo/Subversion,wbond/subversion,YueLinHo/Subversion,wbond/subversion,wbond/subversion,wbond/subversion,YueLinHo/Subversion,wbond/subversion,YueLinHo/Subversion,YueLinHo/Subversion,YueLinHo/Subversion,wbond/subversion,YueLinHo/Subversion,YueLinHo/Subversion,wbond/subversion