Resolve "Fix pull to refresh on too short page"

Closes #83 (closed)

added ⚠️ bug 🎨 UX/UI labels

assigned to @benoit

added 1 commit

• 330c42ca - Fix "pull to refresh" on distribution page.

Compare with previous version

marked this merge request as ready

enabled an automatic merge when all merge checks for 330c42ca pass

aborted the automatic merge because the source branch was updated. Learn more.

added 3 commits

• 330c42ca...a98377a0 - 2 commits from branch master
• e13b8771 - Fix "pull to refresh" on distribution page.

Compare with previous version

mentioned in commit 79cc3abc

merged