Great! Thanks a lot. There is more to come, after I have found out how
to do a merge request (using gitlab, I suppose). Let me get acquainted
with gitlab first.
Hannie, I committed your changes as
f975a12baf884518cb1f397c210638cda8e31620. Looking forward to your next
change request, maybe a merge request? :)
gnome-doc-list mailing list