[ref_impl_eiffel] [675] The CruiseControl server is still complaining, "'ascii' codec can't decode byte 0x92 in position 139: ordinal not in range(128)", so I'm reverting last revision's use of the Python unicode() function.

Revision: 675
Author: peter.gummer

Log Message: