session: only clone timestamps when needed#513

petrosagg wants to merge 1 commit intoTimelyDataflow:masterTimelyDataflow/timely-dataflow:masterfrom

petrosagg:optimize-sessionpetrosagg/timely-dataflow:optimize-sessionCopy head branch name to clipboard