message: Free scratch memory in ~BaseGPUDevice.
diff: @@ -266,6 +266,7 @@ BaseGPUDevice::BaseGPUDevice(const SessionOptions& options, const string& name,
  BaseGPUDevice::~BaseGPUDevice() {
  delete gpu_device_info_;
  + for (auto sb : scratch_) gpu_allocator_->DeallocateRaw(sb);
  for (auto ctx : device_contexts_) ctx->Unref();
  }
  