!876 (merged)
added Content Refinement label
assigned to @mflehmig--tu-dresden.de
mentioned in merge request !888 (merged)
mentioned in commit 384f0013
closed with merge request !888 (merged)