From: Daniel Arndt Date: Tue, 10 Jan 2023 17:11:48 +0000 (+0000) Subject: Add comment for the commit fixing the issue X-Git-Tag: v9.5.0-rc1~658^2~7 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=64a78dcd80d6a8f407496f9bc65e0f916e0145a8;p=dealii.git Add comment for the commit fixing the issue --- diff --git a/source/grid/grid_tools.cc b/source/grid/grid_tools.cc index 9e6454e170..1c458b7f38 100644 --- a/source/grid/grid_tools.cc +++ b/source/grid/grid_tools.cc @@ -3012,6 +3012,8 @@ namespace GridTools } else { + // Fixed in + // https://github.com/boostorg/numeric_conversion/commit/50a1eae942effb0a9b90724323ef8f2a67e7984a #if !defined(__INTEL_LLVM_COMPILER) || BOOST_VERSION >= 108100 if (!used_vertices_rtree.empty()) { diff --git a/source/particles/particle_handler.cc b/source/particles/particle_handler.cc index 1b143457b6..2c089e3acc 100644 --- a/source/particles/particle_handler.cc +++ b/source/particles/particle_handler.cc @@ -1393,6 +1393,8 @@ namespace Particles } } + // Fixed in + // https://github.com/boostorg/numeric_conversion/commit/50a1eae942effb0a9b90724323ef8f2a67e7984a #if !defined(__INTEL_LLVM_COMPILER) || BOOST_VERSION >= 108100 if (!found_cell) {