Bug 7143: Adding new developers to the history file