diff options
| author | Zac Pullar-Strecker <[email protected]> | 2020-09-03 09:09:36 +0100 |
|---|---|---|
| committer | Zac Pullar-Strecker <[email protected]> | 2020-10-08 03:04:57 +0100 |
| commit | 26086faab2dab6baeaa050f73a7f64b83ead6807 (patch) | |
| tree | fa7ad9e11f2e925f23e33d66bf4981b4a57ac701 /docs | |
| parent | c648884397bfdb779c447fa31964dc1fce94bd95 (diff) | |
Change Option::Some bug to a fixme note
IMO this is too much work to be worth fixing at the moment.
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions