Gittrac #3882:  Added this to the "known bugs" section of the
8.0.2 version history.
edit known bug version history item
===GT=== #3882
Merge branch 'V8_0-branch' into V8_1_1-branch