Rob Young 6b600e83e8
Allow manual-non-exhaustive (#458)
It is needed as the non_exhaustive attribute is not available on 1.13.0.

This should fix the broken linting.
2020-07-24 12:21:12 -04:00
..
2020-06-27 15:25:17 -04:00
2020-06-27 15:25:17 -04:00
2020-07-05 16:50:58 -04:00
2020-07-24 12:21:12 -04:00