<pre style='margin:0'>
Ken (kencu) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/0e723d471e6ccaef665841fddf2cd0aebfb9ab47">https://github.com/macports/macports-ports/commit/0e723d471e6ccaef665841fddf2cd0aebfb9ab47</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 0e723d471e6ccaef665841fddf2cd0aebfb9ab47
</span>Author: Ken Cunningham <kencu@macports.org>
AuthorDate: Sun Aug 15 21:40:39 2021 -0700

<span style='display:block; white-space:pre;color:#404040;'>    lean: set compiler.cxx_standard
</span><span style='display:block; white-space:pre;color:#404040;'>    
</span><span style='display:block; white-space:pre;color:#404040;'>    uses c++11
</span>---
 math/lean/Portfile | 2 ++
 1 file changed, 2 insertions(+)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/lean/Portfile b/math/lean/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index 4ee83e0d59b..f654b551d72 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/lean/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/lean/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -28,3 +28,5 @@ cmake.build_type    Release
</span> cmake.generator     Ninja
 
 set worksrcdir      ${worksrcdir}/src
<span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+compiler.cxx_standard 2011
</span></pre><pre style='margin:0'>

</pre>