Andrei Borzenkov 0e075ac385 util/setup: fix grub_util_path_list leak
Add helper grub_util_free_path_list and use it where appropriate.

Found by: Coverity scan.
CID: 73727
2016-01-09 13:55:18 +03:00
..
2010-09-15 14:46:53 +02:00
2013-12-21 13:47:27 +01:00
2015-03-04 01:00:19 +01:00
2015-03-04 01:00:19 +01:00
2015-12-29 17:43:05 +01:00
2013-11-07 06:35:50 +01:00
2015-03-04 01:00:19 +01:00
2016-01-09 13:10:10 +03:00