tree fef95e7d81e55fdb675a2525cc3286e23b796e08
parent 5a507f0f05d6204559af7c54aabe3bd3a6953dfd
author Ned Deily <nad@acm.org> 1395902606 -0700
committer Ned Deily <nad@acm.org> 1395902606 -0700

Issue #20939: remove stray character from comment