tree 141ff855cc7145f1a25e8b395f2c4e761fec8325
parent 6ba29ba3fbfd2870ce57413f560f5470dfad2a7c
author David Garcia Quintas <dgq@google.com> 1432168043 -0700
committer David Garcia Quintas <dgq@google.com> 1432168043 -0700

Fix to work around the fact that Histogram isn't copyable.