Correctly handle null pointers returned from Rust representing None
authorMatt Corallo <git@bluematt.me>
Thu, 5 Aug 2021 03:18:28 +0000 (03:18 +0000)
committerMatt Corallo <git@bluematt.me>
Thu, 5 Aug 2021 03:18:28 +0000 (03:18 +0000)
commit82afbefb5d833a7ee37323e9691503c36d51bcbd
treec93699c8a11a17b2b3d49d33c5375abbba577734
parentc8499e6ad13655ec207b3ff0e02587d8af2a67a8
Correctly handle null pointers returned from Rust representing None
java_strings.py