Merge branch 'dev' of https://github.com/ajbura/cinny into dev
authorAjay Bura <ajbura@gmail.com>
Thu, 5 May 2022 14:28:29 +0000 (19:58 +0530)
committerAjay Bura <ajbura@gmail.com>
Thu, 5 May 2022 14:28:29 +0000 (19:58 +0530)

Trivial merge