Matthias Goergens 0731fec251 Simplify types: remove option from CTL filters
CTL filters can already express perfectly well the behaviour that we
gave for `None`.  No need to complicated anything.

Plus some random lint fixes that clippy demanded..
2024-04-15 17:14:54 +08:00
..
2024-03-21 14:34:41 -04:00
2022-08-15 07:43:00 -07:00

License

Licensed under either of

at your option.

Contribution

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.