Georg Brandl 2bcc151888 new lint for Option.unwrap() and Result.unwrap()
The latter is set to Allow by default (fixes #24)
2015-08-11 21:19:11 +02:00
..
2015-08-11 20:22:50 +02:00
2015-08-11 20:22:50 +02:00