diff options
| author | Andreas Fuchs | 2020-12-13 23:29:21 -0500 |
|---|---|---|
| committer | notgne2 | 2020-12-15 13:00:01 -0700 |
| commit | 7d4020f1300f076341627785c53dd151fc7d1a61 (patch) | |
| tree | ecf214479e1b3afa159fa0e07a94a9923dc1038c /examples | |
| parent | 4ed33219a94943177296ff99368d9ee1dbbcf275 (diff) | |
Simplify the types involved a little
The cursed match is still cursed, but at least we're not sending
useless data across channels anymore.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions