minero vs grinder #8

Open

rasputin wants to merge 1 commits from rasputin-patch-8 into main

pull from: rasputin-patch-8

merge into: :main

:main

:rasputin-patch-9

:rasputin-patch-8

:rasputin-patch-7

:rasputin-patch-6

:rasputin-patch-5

:rasputin-patch-4

:rasputin-patch-3

:rasputin-patch-2

:rasputin-patch-1

Conversation 1 Commits 1 Files Changed 1

+14 -3

1 Commits

Author	SHA1	Message	Date
rasputin	ea003ad233	minero vs grinder ... corregir la definición de minero vs grinder	2026-05-25 16:54:57 +00:00