• crispy_kilt@feddit.de
    link
    fedilink
    arrow-up
    1
    arrow-down
    1
    ·
    edit-2
    9 months ago

    Update your issue with a pull request fixing the documentation. When you’re doing things on github, 99.999% of your audience is the general public, not the maintainer, because they will find your issue and solution through search engines.