auto commit

Author: rishav-karanjit

README.md

@@ -49,7 +49,9 @@ different runtimes.
 
 This library is written in Dafny, a formally verifiable programming language that can be compiled into
 different runtimes. This library is currently **ONLY** supported in Java, .NET and Rust.
+
 <!-- TODO: Add Go to supported languages https://sim.amazon.com/issues/CrypTool-5444 -->
+
 ### AWS Integration
 
 You need an Amazon Web Services (AWS) account to use the DB-ESDK for DynamoDB as it's specifically designed to work with Amazon DynamoDB. Optionally, you can use AWS Key Management Service (AWS KMS) as your main keyring provider.
@@ -69,6 +71,7 @@ You need an Amazon Web Services (AWS) account to use the DB-ESDK for DynamoDB as
 - Dafny
 - Rust
 <!-- TODO: Add Go to supported languages https://sim.amazon.com/issues/CrypTool-5444 -->
+
 # Contributing
 
 See [CONTRIBUTING](CONTRIBUTING.md) for more information. For detailed information about code organization and development see [DynamoDbEncryption README](./DynamoDbEncryption/README.md)