mirror of
https://github.com/baldurk/renderdoc.git
synced 2026-05-04 17:10:47 +00:00
06d14ff62b
* In particular this means that it's safe to compare a ResourceId or similar against None. It is always not-equal but it's useful to have the comparison work and return the expected result instead of throwing a null reference exception.