Fix new HTTPS based URL for coreMQTT
url = https://github.com/awslabs/aws-templates-for-cbmc-proofs.git
[submodule "libraries/standard/coreMQTT"]
path = libraries/standard/coreMQTT
- url = https://github.com/FreeRTOS/coreMQTT
+ url = https://github.com/FreeRTOS/coreMQTT.git
