From 52cb7f5448745df034e78039044e756ab043b274 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Oskar=20Thor=C3=A9n?= Date: Fri, 26 Feb 2021 15:30:20 +0800 Subject: [PATCH] Green build (#396) Windows CI was slow before, merged before it completed. This way master is green...