let string_of_revision_number number =
  String.concat "." (List.map string_of_int number)