[bug-diffutils] bug#16228: bug#16228: Error in 'diff3' man page

[Jim Meyering]

tags 16228 notabug
close 16228
thanks

As I mentioned on bug-gnu-utils, this appears not to be a problem
when using a recent upstream release.