aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorZac Pullar-Strecker <[email protected]>2020-09-03 09:09:36 +0100
committerZac Pullar-Strecker <[email protected]>2020-10-08 03:04:57 +0100
commit26086faab2dab6baeaa050f73a7f64b83ead6807 (patch)
treefa7ad9e11f2e925f23e33d66bf4981b4a57ac701 /docs
parentc648884397bfdb779c447fa31964dc1fce94bd95 (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