Minor documentation problem

[Ian Lance Taylor]

"Ioannis E. Venetis" <iev@hpclab.ceid.upatras.gr> writes:

> Sorry for the late response. Before creating the bug report I though I
> should search the bugs database and I found that a comment for bug
> 13756 mentions the missing documentation for -ftree-dse
> (http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13756#c8).
> 
> Should I still create a new bug report?

No, that's fine.  Thanks for checking.

Ian