Samsung has published a listing for the as-yet unannounced Galaxy S4 Mini on the changelog of one of