sebastian at uni-koblenz.de wants to notify you that the following packages may be out-of-date: The user provided the following additional text: A new security update was released by mozilla on 02/12/19