mirror of
https://gitlab.science.ru.nl/technicie/MarietjeDjango.git
synced 2025-12-09 18:52:23 +01:00
Before this patch, we used the default setting, which emits a HTML <select> tag containing a list of *all* the users. We currently have enough users that we do not want to load that complete list every time. So now, use the autocomplete field instead.