# Awk program to merge history lines for the same article in a sorted history
# file (such as is generated during the mkhistory processing).
BEGIN { FS = "\t" ; OFS = "\t" ; mesgid = "" }
{
	if ($1 != mesgid) {
		if (mesgid != "")
			print mesgid, dates, names
		mesgid = $1
		dates = $2
		names = $3
	} else
		names = names " " $3
}
END {
	if (mesgid != "")
		print mesgid, dates, names
}