[tde-users] Re: Is R14.1.2 available in the openSUSE Leap 15.5 repository yet?