From d5fcf28e03d092c5db30b86081e052e75d6e95bc Mon Sep 17 00:00:00 2001 From: Max Schaefer Date: Wed, 13 May 2020 15:55:13 +0100 Subject: [PATCH] Add change note. While we didn't see any new results in the evaluation, this is a fairly substantial amount of changes, so adding a change note is probably justified. --- change-notes/2020-05-13-io-model.md | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 change-notes/2020-05-13-io-model.md diff --git a/change-notes/2020-05-13-io-model.md b/change-notes/2020-05-13-io-model.md new file mode 100644 index 00000000000..0e3531efedc --- /dev/null +++ b/change-notes/2020-05-13-io-model.md @@ -0,0 +1,3 @@ +lgtm,codescanning +* Modeling of the standard `io` library has been improved, which may lead to more results from the + security queries.