Delete dangling comment line.
Delete dangling comment line.

This was from an old comment, which was superseded by the
existing comment which is correct.

PiperOrigin-RevId: 254434535

google/gvisor,google/gvisor,google/gvisor,google/gvisor,google/gvisor,google/gvisor,google/gvisor,google/gvisor