Rupamdebroy patch 1#3

rupamdebroy wants to merge 3 commits intoaniketsinha2002:mainaniketsinha2002/RUNDOC:mainfrom

rupamdebroy:rupamdebroy-patch-1rupamdebroy/RundocVue:rupamdebroy-patch-1Copy head branch name to clipboard