arneatec

Bump as django-admin-numeric-filter is still missing styling.

Please note that only the first commit (c372f5f8691a169b83dc2964677bfa25a4556ce9) is meant to be merged, the following one is to deal with the Github actions failing in the local repository.