Unofficial Pi/e/ Community Build - s4mini Value Edition SM-i9195i "serranovelte"

@CyrMatt : It is the same install procedure as for other Samsung devices

@ronnz98 did you try to build /e/OS-R or /e/OS-S from there ?
https://xdaforums.com/t/rom-11-0-12l-unofficial-microg-support-lineageos-18-1-19-1-serranovelte-gt-i9195i.4191143/
latest are
lineage-18.1-20240218-UNOFFICIAL-serranovelte
lineage-19.1-20230713-UNOFFICIAL-serranovelte