[gnome-devel-docs] Get rid of duplication: when when -> when

[Emmanuele Bassi <ebassi src gnome org>]

commit eec8005927ad059c67eb8291c01623b15aea642a
Author: Yuri Chornoivan <yurchor ukr net>
Date:   Wed Sep 16 17:17:49 2020 +0000

    Get rid of duplication: when when -> when

 platform-overview/C/tech-atk.page | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/platform-overview/C/tech-atk.page b/platform-overview/C/tech-atk.page
index 58f15e85..67ed65c0 100644
--- a/platform-overview/C/tech-atk.page
+++ b/platform-overview/C/tech-atk.page
@@ -48,7 +48,7 @@ use a standard "get the text contents" interface in ATK for all widgets with
 textual information.</p>
 
 <p>Nonetheless, you should be aware of accessibility issues when
-when developing your applications.  Although GTK interfaces provide
+developing your applications.  Although GTK interfaces provide
 reasonable accessibility by default, you can often improve how well
 your program behaves with accessibility tools by providing additional
 information to ATK.  If you develop custom widgets, you should ensure