[phpMyAdmin Developers] Time for 4.7.6?

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