diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2019-08-22 07:51:22 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-22 07:51:22 -0400 |
| commit | 52b63b7088035aa2f67ccf030ccf181d5f97e954 (patch) | |
| tree | c8160e7872638e6e977ad7bd665e337c4060ce33 /python/servo/devenv_commands.py | |
| parent | d8a1c1e02ed97a1e5f13bb4c21e4f3b1bdbd4ad1 (diff) | |
| parent | fe358833cdd7f8c2950e2b11df46053208af4e28 (diff) | |
| download | servo-52b63b7088035aa2f67ccf030ccf181d5f97e954.tar.gz servo-52b63b7088035aa2f67ccf030ccf181d5f97e954.zip | |
Auto merge of #23998 - paulrouget:rmForget, r=jdm
Do not leak the CAPI strings
Depends on #23983
I haven't remove the mem::forget here: https://github.com/servo/servo/blob/6528c0d9b7b36fbdffc29bab99e0066b83a7f970/ports/libsimpleservo/capi/src/lib.rs#L228
What would be the right approach in that specific case?
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/23998)
<!-- Reviewable:end -->
Diffstat (limited to 'python/servo/devenv_commands.py')
0 files changed, 0 insertions, 0 deletions