Fix duplicated words in comments

* src/coding.c (encode_string_utf_8):
* src/keyboard.c (syms_of_keyboard):
* src/mini-gmp.c (gmp_lucas_mod, mpz_export):
* src/pdumper.c (dump_set_referrer, dump_queue_compute_score):
* src/timefns.c (Ftime_convert): Remove duplicated words.

1 files changed, 1 insertions, 1 deletions

diff --git a/src/coding.c b/src/coding.c
index 21e6dc4c192..560ec0883ff 100644
--- a/src/coding.c
+++ b/src/coding.c
@@ -9613,7 +9613,7 @@ get_char_bytes (int c, int *len)
    byte of the same value.
 
    If HANDLE-OVER-UNI is Qt, encode an over-unicode character
-   into the the same 4 or 5-byte sequence.
+   into the same 4 or 5-byte sequence.
 
    If the two arguments are Qnil, return Qnil if STRING has a
    non-Unicode character.  */