[PRQ#72525] Merge Request for lean-bin

[notify]

oech3 [1] filed a request to merge lean-bin [2] into lean3-bin [3]:

same

[1] https://aur.archlinux.org/account/oech3/
[2] https://aur.archlinux.org/pkgbase/lean-bin/
[3] https://aur.archlinux.org/pkgbase/lean3-bin/