Merge branch 'chore/rename-user-settings-column' into 'develop'
authorHaelwenn <contact+git.pleroma.social@hacktivis.me>
Tue, 30 Jun 2020 20:51:10 +0000 (20:51 +0000)
committerHaelwenn <contact+git.pleroma.social@hacktivis.me>
Tue, 30 Jun 2020 20:51:10 +0000 (20:51 +0000)
Rename user.settings column

See merge request pleroma/pleroma!2707


Trivial merge