From: Alex Rønne Petersen Date: Fri, 11 Aug 2017 14:34:50 +0000 (+0200) Subject: Merge pull request #5352 from urisimchoni/fix-logprof-manpage X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=commitdiff_plain;h=47cd88f0f81b8da3a19a664fab00925c0c40f6c2;hp=-c;p=mono.git Merge pull request #5352 from urisimchoni/fix-logprof-manpage [docs] fixes to log profiler manpage --- 47cd88f0f81b8da3a19a664fab00925c0c40f6c2