Push amsterdam-nl to 12.10.