Clarification re #8691#8694

VladimirAlexiev wants to merge 2 commits intojgm:mainjgm/pandoc:mainfrom

VladimirAlexiev:patch-3VladimirAlexiev/pandoc:patch-3Copy head branch name to clipboard