pull back from blindly interpreting xx 80, which wasn't working
authorBen Pfaff <blp@cs.stanford.edu>
Fri, 3 Jul 2020 04:09:50 +0000 (04:09 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Fri, 3 Jul 2020 04:09:50 +0000 (04:09 +0000)
Instead, try to interpret things in more detail.  Seems to be working
better.


No differences found