bors[bot] 6182495102 Merge #838 ...

838: wait for buffer to be done in the player r=cwfitzgerald a=kvark

**Connections**
Fixes our code enough to replay #834 without issues. Doesn't help to solve the original problem though.

**Description**
There are two things in here:
  1. don't deduplicate the BGLs if we are not generating new IDs at this layer. This helps Servo/Gecko/player. cc @kunalmohan 
  2. have an option in `buffer_destroy` to *actually* kill it, at the cost of blocking on GPU sometimes. This is required for the player, since the very next command may try to reuse the ID.

**Testing**
Tested on the trace in #834 

Co-authored-by: Dzmitry Malyshau <kvarkus@gmail.com>

2020-07-24 22:57:04 +00:00

..

src

Merge #838

2020-07-24 22:57:04 +00:00

Cargo.toml

Naga update, remove spirv_headers dependency

2020-07-22 11:05:42 -04:00