On Fri, Jul 07, 2023 at 02:44:49PM +0200, Edgar Fuß wrote: > > Feel free to revert this change. > I don't have commit rights. I had removed it in May already. I just noticed that I had overlooked the buildlink3.mk file, fixed now. Thomas