Merge pull request #14 from openmls/keks/update-valno0701

update status of valn0701

checksets/07-remove_proposal.dhall

@@ -22,10 +22,15 @@ let checks =
               ''
               "section-12.1.3-3"
           )
-          types.Status.Missing
-          types.CodeRefs/empty
+          types.Status.Partial
+          ( types.CodeRefs/single
+              "openmls::group::PublicGroup::validate_remove_proposals"
+              "https://github.com/openmls/openmls/blob/main/openmls/src/group/public_group/validation.rs#L424"
+          )
           types.CodeRefs/empty
-          types.Notes/empty
+          ( types.Notes/single
+              "the tests we have a are not great. The check and basic tests were added in PR https://github.com/openmls/openmls/pull/1655"
+          )
       ]
 
 in  types.CheckSet/new id name desc checks