From 1ce421e915e97772031b1729c29090554ddd8058 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Vladim=C3=ADr=20Vondru=C5=A1?= <mosra@centrum.cz>
Date: Fri, 18 Feb 2022 18:36:26 +0100
Subject: [PATCH] DebugTools: use Utility::copy() instead of std::copy().

Again due to <string> pulling in some parts of <algorithm>. When it gets
removed, I'd have to include <algorithm> myself.
---
 src/Magnum/DebugTools/BufferData.cpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/Magnum/DebugTools/BufferData.cpp b/src/Magnum/DebugTools/BufferData.cpp
index 80d8bb64e..746846963 100644
--- a/src/Magnum/DebugTools/BufferData.cpp
+++ b/src/Magnum/DebugTools/BufferData.cpp
@@ -26,11 +26,12 @@
 #include "BufferData.h"
 
 #ifndef MAGNUM_TARGET_WEBGL
+#include <Corrade/Utility/Algorithms.h>
+
 namespace Magnum { namespace DebugTools { namespace Implementation {
 
 void bufferSubData(GL::Buffer& buffer, GLintptr offset, GLsizeiptr size, void* output) {
-    Containers::ArrayView<const char> data = buffer.mapRead(offset, size);
-    std::copy(data.begin(), data.end(), reinterpret_cast<char*>(output));
+    Utility::copy(buffer.mapRead(offset, size), Containers::ArrayView<char>{static_cast<char*>(output), std::size_t(size)});
     buffer.unmap();
 }