Alkarex / EasyRSS

Android client for RSS services compatible with Google Reader API
http://freshrss.org
GNU General Public License v3.0
124 stars 13 forks source link

Lint #52

Closed Alkarex closed 4 years ago

Alkarex commented 4 years ago

Fix https://github.com/Alkarex/EasyRSS/issues/51

Alkarex commented 4 years ago

@Frenzie Let me know whether you have the possibility of double-checking before merging and releasing a new version for F-Droid

Frenzie commented 4 years ago

Depends when you want it, not sure about today but I should be able to tomorrow.

On Sat, Apr 18, 2020 at 4:11 PM Alexandre Alapetite < notifications@github.com> wrote:

@Alkarex https://github.com/Alkarex requested your review on: #52 https://github.com/Alkarex/EasyRSS/pull/52 Lint.

— You are receiving this because your review was requested. Reply to this email directly, view it on GitHub https://github.com/Alkarex/EasyRSS/pull/52#event-3247505481, or unsubscribe https://github.com/notifications/unsubscribe-auth/AABRQBKPOSI76DVAILICCUTRNGYJNANCNFSM4MLLNIPA .

Alkarex commented 4 years ago

@Frenzie I am assuming that those IDs were not used. Settings still seem to work fine. I am not sure what other side effect to search for.