From: Timo Heister Date: Thu, 19 Sep 2024 04:44:02 +0000 (-0400) Subject: Merge pull request #17707 from RyanMoulday/Improved-Colored-WorkStream X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=956f34e5deca164f63ea30c8b1fc269a272fb896;p=dealii.git Merge pull request #17707 from RyanMoulday/Improved-Colored-WorkStream Make improvements to the WorkStream colored implementation --- 956f34e5deca164f63ea30c8b1fc269a272fb896