One pun in ten did.

    • Apepollo11@lemmy.world
      link
      fedilink
      English
      arrow-up
      3
      ·
      5 months ago

      I think it might have the edge, though, because “no pun intended” is an actual phrase people use…

        • Apepollo11@lemmy.world
          link
          fedilink
          English
          arrow-up
          3
          ·
          5 months ago

          True, but not “one pun intended”, which is the punchline here.

          It’s all fine - I was just pointing out why I prefer the other version. Yours is good too.