The permissions on this repository are being updated. This may take a while.
During this time, you or some of the project's contributors may not be able
to push to this repository.
History SOURCES/0015-Ticket-47892-coverity-defects-found-in-1.3.3.x.patch