# Changelog

## 3.1.0

### Fixes

* chore: pack README for display on NuGet page (<https://github.com/aws/aws-encryption-sdk-dafny/pull/585>)
* fix: add DiscoveryFilter to MRK Discovery Keyring example (<https://github.com/aws/aws-encryption-sdk-dafny/pull/581>)
* docs: fix .NET ESDK link in README (<https://github.com/aws/aws-encryption-sdk-dafny/pull/589>)
* docs: fix .NET ESDK package name in README (<https://github.com/aws/aws-encryption-sdk-dafny/pull/600>)
* docs: link to macOS setup wiki in README (<https://github.com/aws/aws-encryption-sdk-dafny/pull/601>)

### Maintenance

* chore: update generated KMS code (<https://github.com/aws/aws-encryption-sdk-dafny/pull/580>)
* chore: use public spec URL for submodule (<https://github.com/aws/aws-encryption-sdk-dafny/pull/586>)
* fix: use renamed directories for Duvet report (<https://github.com/aws/aws-encryption-sdk-dafny/pull/587>)
* chore: bump Newtonsoft.Json in test vector projects (<https://github.com/aws/aws-encryption-sdk-dafny/pull/595>)
* feat: add user agent to default KMS clients (<https://github.com/aws/aws-encryption-sdk-dafny/pull/598>)
* chore: address potential unsoundness (dafny-lang/dafny#2500) (<https://github.com/aws/aws-encryption-sdk-dafny/pull/599>)
* ci: use .NET 6.0 for release buildspecs (<https://github.com/aws/aws-encryption-sdk-dafny/pull/602>)

## 3.0.0 (2022-05-17)

Initial launch of the AWS Encryption SDK for .NET.