gnome extension not up to date

[Gilles Bajart <bajart gilles gmail com>]

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