erlang/otp — pull request #560 by leoliu (2014-12-12 12:58:46+00:00)
Title: Two minor fixes

* Fix documentation on $char for unicode
* Remove duplicate declaration for erts_encode_ext_dist_header_size