Skip to content

/ devguide

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

developers.csv: Escape dot to prevent <ol> #614

Merged
merged 1 commit into from Sep 30, 2020
Merged

developers.csv: Escape dot to prevent <ol> #614

merged 1 commit into from Sep 30, 2020

Commits on Sep 30, 2020

  1. developers.csv: Escape dot to prevent <ol> 

    Re-apply commit 0427168.
This time the issue was fixed in the script that generates the data,
so it shouldn't reappear.

Co-Authored-By: Hugo van Kemenade <[email protected]>
    @encukou @hugovk
    encukou and hugovk committed Sep 30, 2020
    Loading status checks…
    Verified
    This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
    GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
    a277ee1
You can’t perform that action at this time.