João Oliveira 9c11781880 replace .len() == 0 with is_empty() ... closes #7198		2015-08-14 04:00:33 +01:00
..
matching.rs	replace .len() == 0 with is_empty()	2015-08-14 04:00:33 +01:00