Fredrik Fornwall 672f19f09e leveldb: Drop unnecessary patch
Remove patch no longer needed when we set TARGET_OS correctly.
2019-03-17 20:28:40 +01:00
..