gnome extension not up to date

--===============4218972467352870371==
Content-Type: multipart/alternative; boundary=001a113ccd8e37ce10053f84d016

--001a113ccd8e37ce10053f84d016
Content-Type: text/plain; charset=UTF-8

Hello,

It seems that your website does not include the last version of the gnome
Drop down terminal.
It crashes everytime with gnome 3.22.

The author added a fix on his github:
https://github.com/zzrough/gs-extensions-drop-down-terminal

It's one of my favourite tool of gnome so is it possible to update the
version on the website to be fully compatible with gnome 3.22?

Thanks
Gilles

--001a113ccd8e37ce10053f84d016
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Hello,<div><br></div><div>It seems that your website does =
not include the last version of the gnome Drop down terminal.</div><div>It =
crashes everytime with gnome 3.22.</div><div><br></div><div>The author adde=
d a fix on his github:</div><div><a href=3D"https://github.com/zzrough/gs-e=
xtensions-drop-down-terminal">https://github.com/zzrough/gs-extensions-drop=
-down-terminal</a><br></div><div><br></div><div>It&#39;s one of my favourit=
e tool of gnome so is it possible to update the version on the website to b=
e fully compatible with gnome 3.22?</div><div><br></div><div>Thanks</div><d=
iv>Gilles</div><div><br></div></div>

--001a113ccd8e37ce10053f84d016--

--===============4218972467352870371==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
gnome-web-list mailing list
[email protected]
https://mail.gnome.org/mailman/listinfo/gnome-web-list

--===============4218972467352870371==--