automerged had issues with the options.XXXXX in stats.py

--HG--
extra : convert_revision : 44db6642c1fb46eb515acd5a6d8465859a40891a

diff --cc util/stats/stats.py
index 05ee1b4d3edf7aebf9274c26d9f37708fea4a13b,7c16338886457d97c136cfd55263a2a587ea4e94..b2b0ff8adbee787e5396d3dbf67ea49662185ad3
--- 1/util/stats/stats.py
--- 2/util/stats/stats.py
+++ b/util/stats/stats.py
@@@ -644,12 -582,10 +648,13 @@@ if __name__ == '__main__'
      options.get = None
      options.binned = False
      options.graph = False
 +    options.graph68 = False
+     options.ticks = False
  
-     opts, args = getopts(sys.argv[1:], '-6BEFGd:g:h:pr:s:u:')
 -    opts, args = getopts(sys.argv[1:], '-BEFGd:g:h:pr:s:u:T:')
++    opts, args = getopts(sys.argv[1:], '-6BEFGd:g:h:pr:s:u:T:')
      for o,a in opts:
 +        if o == '-6':
 +            options.graph68 = True
          if o == '-B':
              options.binned = True
          if o == '-E':