Merge "Add Philippe Coval as co-maintainer of libhangul"