Hannie, I committed your changes as
f975a12baf884518cb1f397c210638cda8e31620. Looking forward to your next
change request, maybe a merge request? :)
Cheers,
pk
_______________________________________________
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
_______________________________________________
gnome-doc-list mailing list
gnome-doc-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gnome-doc-list