Applied in commit [73bd005b58]. I did some minor formal changes to the commit message, like adding a period to the summary to make it consistent with the other commits. See also the new file CONTRIBUTE in the repository. :)
-- Vegard _______________________________________________ implementations-list mailing list [email protected] https://lists.ourproject.org/cgi-bin/mailman/listinfo/implementations-list
