Good to see that most of the instances have caught up

LW announced they are planning to migrate in the coming weeks: !lemmyworld@lemmy.world

    • woelkchen@lemmy.worldM
      link
      fedilink
      English
      arrow-up
      0
      ·
      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
          0
          ·
          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
              0
              ·
              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
                0
                ·
                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
                  0
                  ·
                  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.