mirror of
https://github.com/f-droid/fdroidclient.git
synced 2026-04-22 16:01:37 -04:00
Attempt to fix #1172, but couldn't reproduce it. So instead made sure to document in detail why such a defensive check was put in place.