summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorVito Caputo <vcaputo@pengaru.com>2020-09-26 17:23:28 -0700
committerVito Caputo <vcaputo@pengaru.com>2020-09-26 17:26:20 -0700
commitd350e1c2b22cbc7b314790096f758d462385ef5e (patch)
treebe0de659903190d43c1f4103587f907dfee95a76 /src
parent2944f70ee33de24b023ad1edb04246e4b71eef17 (diff)
README: add some explanation of correctness issuesHEADmaster
After bringing up the issue on bug-bash, it seems worth documenting this state of affairs, for posterity if nothing else.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions
© All Rights Reserved