[phpMyAdmin Developers] Time for 4.7.6?

[Isaac Bennetch]

Hi team,

Do you think it's time for 4.7.6? With the US holiday last week, I
haven't yet performed the release which normally would have been a few
days ago, but looking at ChangeLog there aren't a lot of changes. Here
are the changes:

- issue #13517 Fixed check all interaction with filtering
- issue #13803 Add SJIS-win to default list of allowed charsets
- issue #13436 Improve detection that MySQL server needs SSL connection
- issue #13038 Support JSON datatype on MariaDB 10.2.7 and newer
- issue #13824 Fixed constructing ALTER query with AFTER

Isaac