1.4.16 not in dev branch

I'm a bit confused. The 2 commits for 1.4.16 are not in the dev branch.

Also there are 3 commits in the dev branch that are committed twice.

e.g. https://github.com/laurent22/joplin/commit/6ad9931e43f940447d94196a26e860b90879c4e7 and https://github.com/laurent22/joplin/commit/cb696276daba7913f6ece022e5552c04fff38f25

For 1.4 releases you should look in release-1.4 branch. Eventually what's in there gets merged into dev.

Ah, I see, because I've been usually just working in the dev branch. It was the first time that another branch was further ahead for a (pre-)release. That was a bit confusing.