Good to see that most of the instances have caught up

LW announced they are planning to migrate in the coming weeks: [email protected]

    • woelkchen@lemmy.worldM
      link
      fedilink
      English
      arrow-up
      8
      arrow-down
      4
      ·
      10 months ago

      19.0 and 19.1 mostly, 19.2 fixed the issues.

      The leading zeros aren’t decorative. Don’t just drop them.

        • woelkchen@lemmy.worldM
          link
          fedilink
          English
          arrow-up
          4
          arrow-down
          5
          ·
          10 months ago

          In this context it’s just faster to type

          If saving six characters is so crucial, type “.0”, “.1”, and “.2”. Massive productivity boost.

            • woelkchen@lemmy.worldM
              link
              fedilink
              English
              arrow-up
              2
              arrow-down
              1
              ·
              10 months ago

              You could also drop the “.” in this case, saving another three.

              Even better: drop the number.

              • FaceDeer@kbin.social
                link
                fedilink
                arrow-up
                1
                ·
                10 months ago

                That’s one step too far, though. There’d be no way to distinguish them without that number.

                • woelkchen@lemmy.worldM
                  link
                  fedilink
                  English
                  arrow-up
                  1
                  ·
                  10 months ago

                  Oh, you were actually serious? I thought we’re making dumb jokes here with claims of willy nilly dropping digits from a version number being significantly faster to type.

                  • FaceDeer@kbin.social
                    link
                    fedilink
                    arrow-up
                    1
                    ·
                    10 months ago

                    Well, semi-serious. Doing this to “save characters” is obviously silly, we’ve spent way more characters discussing how to save characters than could possibly have been saved (and it’s not a valuable “savings” regardless). But I was paying attention to the practicality, because IMO the best silly things are things you can take seriously.