Use mappend/mempty instead of ++/""#381

ktgw0316 wants to merge 1 commit intohmemcpy:masterhmemcpy/milewski-ctfp-pdf:masterfrom

ktgw0316:mappend-memptyktgw0316/milewski-ctfp-pdf:mappend-memptyCopy head branch name to clipboard