n1474335 fc9c2d1f6e BUGFIX: HTML output which is then converted to a regular string (for a standard operation) still contained escaped HTML chars.

2017-03-01 21:33:28 +00:00

..

operations

BUGFIX: HTML output which is then converted to a regular string (for a standard operation) still contained escaped HTML chars.

2017-03-01 21:33:28 +00:00