11 Jan 2019 Comment on Update configuration menu to be in "User interface" category rahulshinde Code contributions
12 Mar 2019 If DCG considers suggestions and bug reports for this, then I have contribute... rahulshinde Code contributions
13 Apr 2019 Thanks, @amarphule, the patch is merged with the dev branch. rahulshinde Code contributions