Add missing header (#3389)

This commit is contained in:
Hind-M 2024-08-02 14:52:17 +02:00 committed by GitHub
parent d662921715
commit 9663cbfdac
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 0 deletions

View File

@ -7,6 +7,7 @@
#ifndef MAMBA_DOWNLOAD_MIRROR_MAP_HPP
#define MAMBA_DOWNLOAD_MIRROR_MAP_HPP
#include <algorithm>
#include <memory>
#include <string>
#include <string_view>