Royal Botanic Garden Edinburgh. Diary 17/07/20