diff --git a/.paket/paket.exe b/.paket/paket.exe index 716fe2549..b98e000b2 100644 Binary files a/.paket/paket.exe and b/.paket/paket.exe differ