GUACAMOLE-1911: Fixed a typo mistake ("the the").

src/libguac/guacamole/rwlock.h

@@ -118,7 +118,7 @@ int guac_rwlock_acquire_write_lock(guac_rwlock* reentrant_rwlock);
 int guac_rwlock_acquire_read_lock(guac_rwlock* reentrant_rwlock);
 
 /**
- * Release the the rwlock associated with the provided guac reentrant rwlock if this
+ * Release the rwlock associated with the provided guac reentrant rwlock if this
  * is the last level of the lock held by this thread. Otherwise, the thread
  * local property associated with the key will be updated as needed to ensure
  * that the correct number of release requests will finally release the lock.

src/libguac/guacamole/string.h

@@ -91,7 +91,7 @@ size_t guac_strlcpy(char* restrict dest, const char* restrict src, size_t n);
  *     buffer will remain untouched (and unterminated) in this case.
  *
  * @param src
- *     The source string to append to the the destination buffer. This string
+ *     The source string to append to the destination buffer. This string
  *     MUST be null-terminated.
  *
  * @param n

src/protocols/kubernetes/pipe.h

@@ -31,7 +31,7 @@
 
 /**
  * Handles an incoming stream from a Guacamole "pipe" instruction. If the pipe
- * is named "STDIN", the the contents of the pipe stream are redirected to
+ * is named "STDIN", the contents of the pipe stream are redirected to
  * STDIN of the terminal emulator for as long as the pipe is open.
  */
 guac_user_pipe_handler guac_kubernetes_pipe_handler;

src/protocols/ssh/pipe.h

@@ -33,7 +33,7 @@
 
 /**
  * Handles an incoming stream from a Guacamole "pipe" instruction. If the pipe
- * is named "STDIN", the the contents of the pipe stream are redirected to
+ * is named "STDIN", the contents of the pipe stream are redirected to
  * STDIN of the terminal emulator for as long as the pipe is open.
  */
 guac_user_pipe_handler guac_ssh_pipe_handler;

src/protocols/telnet/pipe.h

@@ -33,7 +33,7 @@
 
 /**
  * Handles an incoming stream from a Guacamole "pipe" instruction. If the pipe
- * is named "STDIN", the the contents of the pipe stream are redirected to
+ * is named "STDIN", the contents of the pipe stream are redirected to
  * STDIN of the terminal emulator for as long as the pipe is open.
  */
 guac_user_pipe_handler guac_telnet_pipe_handler;

src/terminal/terminal/palette.h

@@ -30,14 +30,14 @@
 #include <stdint.h>
 
 /**
- * The pseudo-index of the color set as the the default foreground color for
+ * The pseudo-index of the color set as the default foreground color for
  * the terminal. Regardless of what changes are made to the palette, this index
  * will always return the current default foreground color.
  */
 #define GUAC_TERMINAL_COLOR_FOREGROUND -2
 
 /**
- * The pseudo-index of the color set as the the default background color for
+ * The pseudo-index of the color set as the default background color for
  * the terminal. Regardless of what changes are made to the palette, this index
  * will always return the current default background color.
  */