| 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.