commit | 73af293c72e34d213219a1a2a2d07f0bd10398a4 | [log] [tgz] |
---|---|---|
author | Joe Gregorio <jcgregorio@google.com> | Wed Jun 12 13:57:52 2019 |
committer | Joe Gregorio <jcgregorio@google.com> | Wed Jun 12 13:57:52 2019 |
tree | 217c4870448e001002a712a14035019b82833652 | |
parent | 239b412fffb4ad30a156cfcb6a06f4f59bb25073 [diff] |
Fix bug where we don't copy DepthDelta from Options.