dasher merge requestshttps://gitlab.gnome.org/GNOME/dasher/-/merge_requests2020-08-25T09:48:59Zhttps://gitlab.gnome.org/GNOME/dasher/-/merge_requests/2migrate from gnome-doc-utils to yelp2020-08-25T09:48:59ZSamuel Thibaultmigrate from gnome-doc-utils to yelphttps://gitlab.gnome.org/GNOME/dasher/-/merge_requests/1Drop some spurious data2020-08-25T09:53:50ZSamuel ThibaultDrop some spurious data