2018-10-06 merge
alfadur [Fri, 05 Oct 2018 21:43:48 -0400] rev 13871
merge
2018-10-05 Windows 1809 GetUserProfileDirectory failure workaround
alfadur [Sat, 06 Oct 2018 01:24:27 +0300] rev 13870
Windows 1809 GetUserProfileDirectory failure workaround
(0) -10000 -3000 -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 +300 +1000 tip