diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2020-03-20 04:08:00 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-20 04:08:00 -0400 |
| commit | c76a995ba2f201a413827a375186e1b5d082ffc7 (patch) | |
| tree | 23c37eb682f5a43cd906680b62ac3622e981b6fc /components/script/dom/gpucommandbuffer.rs | |
| parent | 07f6d783a3c553d6e61170767883b2f5d80a8fbd (diff) | |
| parent | fa625a73882abbbf6f521a9d19eb84217dc99f68 (diff) | |
| download | servo-c76a995ba2f201a413827a375186e1b5d082ffc7.tar.gz servo-c76a995ba2f201a413827a375186e1b5d082ffc7.zip | |
Auto merge of #25992 - servo:tree-sha, r=jdm
Index tasks by git tree hash instead of parent commits hashes
This makes it (sligthly) easier to query the index and find those tasks from other scripts.
Diffstat (limited to 'components/script/dom/gpucommandbuffer.rs')
0 files changed, 0 insertions, 0 deletions