Since the last update to our Android App, contact discovery is broken. We need to fix this regression as this is a core functionality of Prav. As a temporary workaround people can still scan QR codes to add contacts manually.
We might be able to fix it if we update Prav Server to match with latest version of Quicksy Server, in case the updated Android App needs some new changes in the server as well. If an update to Prav Server does not fix it, we will need to look at the logs and see why it no longer works.
More details https://codeberg.org/prav/prav/issues/43