• pmjv@lemmy.sdf.org
    link
    fedilink
    arrow-up
    2
    ·
    3 months ago

    There’s actually an unmerged PR that let’s you choose your own choice of a decimal separator.