From: Joey Castillo Date: Sun, 22 May 2022 23:46:43 +0000 (-0400) Subject: Merge branch 'parallelize-builds' of https://github.com/GeorgeHahn/Sensor-Watch X-Git-Url: https://git.earman.xyz/?a=commitdiff_plain;h=040267fe3d8606591c3a27f9bf0a1a4805a6850d;p=sensor-watch.git Merge branch 'parallelize-builds' of https://github.com/GeorgeHahn/Sensor-Watch --- 040267fe3d8606591c3a27f9bf0a1a4805a6850d