tree 22ae19c4665442d633d72d3c31ae1201191c11e0
parent 50e8be1282dc69d1c1bd556d8bd7a12e855da9d3
author Miguel Young de la Sota <mcyoung@google.com> 1594143274 -0400
committer Miguel Young <mcyoung@google.com> 1595435604 -0400

[dif] Add a comment explaining how to drop an error on the ground

See https://gcc.gnu.org/bugzilla/show_bug.cgi?id=25509, which
necessitates doing this in a non-standard, but still portable, manner.

Signed-off-by: Miguel Young de la Sota <mcyoung@google.com>