From af303e1ec9c085d4ae7d13580b14093b54e3bacc Mon Sep 17 00:00:00 2001 From: Joseph Perez Date: Tue, 18 Jun 2024 15:45:41 +0200 Subject: [PATCH] fix: add missing header --- src/logging.rs | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/src/logging.rs b/src/logging.rs index 7b7d1411..6da5ee5f 100644 --- a/src/logging.rs +++ b/src/logging.rs @@ -1,3 +1,16 @@ +// +// Copyright (c) 2024 ZettaScale Technology +// +// This program and the accompanying materials are made available under the +// terms of the Eclipse Public License 2.0 which is available at +// http://www.eclipse.org/legal/epl-2.0, or the Apache License, Version 2.0 +// which is available at https://www.apache.org/licenses/LICENSE-2.0. +// +// SPDX-License-Identifier: EPL-2.0 OR Apache-2.0 +// +// Contributors: +// ZettaScale Zenoh Team, +// use std::{ collections::HashMap, sync::{