JOSM summer releases

[Vincent Privat]

Hello,
I just have released JOSM 15238 as the "final" 19.06 release (after 2
hotfixes due to recent regressions in relation editor, my bad).
We're the 10th of July and 19.07 was expected to be released around 28 of
July.
As most of core developers are already, or going to be, in holidays, not
enough work will be made in the coming two weeks to be worth a new release.
Hence I have deleted the 19.07 milestone and affected all its assigned
tickets to 19.08, expected for 25th of August.
Mappy holidays,
Vincent