Make decoding consume the record
authorBen Pfaff <blp@cs.stanford.edu>
Wed, 31 Jan 2024 06:21:18 +0000 (22:21 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Wed, 31 Jan 2024 06:21:18 +0000 (22:21 -0800)

No differences found