* tools/dist/backport.pl   (vote): Warn if some of the votes we wanted to enter weren't found.     Currently, they are not removed from the log message; that is a future     enhancement.
* tools/dist/backport.pl
  (vote): Warn if some of the votes we wanted to enter weren't found.
    Currently, they are not removed from the log message; that is a future
    enhancement.

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

YueLinHo/Subversion,YueLinHo/Subversion,YueLinHo/Subversion,YueLinHo/Subversion,YueLinHo/Subversion,YueLinHo/Subversion,YueLinHo/Subversion,YueLinHo/Subversion