Bump Iris.

opam

@@ -9,5 +9,5 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/actris" ]
 depends: [
-  "coq-iris" { (= "dev.2020-10-10.0.cb8e35b8") | (= "dev") }
+  "coq-iris" { (= "dev.2020-10-20.2.c65b38ea") | (= "dev") }
 ]

theories/utils/contribution.v

@@ -87,7 +87,7 @@ Section contribution.
   Proof.
     rewrite /server /client. iIntros "Hs Hc". case_decide; subst.
     - iDestruct "Hs" as "(_ & _ & Hc')".
-      by iDestruct (own_valid_2 with "Hc Hc'") as %?.
+      by iDestruct (own_valid_2 with "Hc Hc'") as %?%auth_frag_op_valid_1.
     - iDestruct (own_valid_2 with "Hs Hc")
         as %[[[??]%(inj Cinl)|Hincl]%Some_included _]%auth_both_valid_discrete.
       { setoid_subst. by destruct n. }