Merge remote-tracking branch 'origin/master' into 3.https

.circleci/config.yml

@@ -29,7 +29,7 @@ jobs:
       # time of this comment.  We can bump it to a newer version when that
       # makes sense.  Meanwhile, the platform won't shift around beneath us
       # unexpectedly.
-      NIXPKGS_REV: "3c83ad6ac13b67101cc3e2e07781963a010c1624"
+      NIXPKGS_REV: "8bf142e001b6876b021c8ee90c2c7cec385fe8e9"
 
     steps:
       - run: