wardley.love/0071-table.remove_value

table.remove_value = function(h, val)
	local i = table.find(h, val)
	if i then
		table.remove(h, i)
	end
end