log scripts/update_board @ 492:e9821d65b9ba prerelease

age author description
Tue, 21 Jun 2016 17:24:20 +0100 Giulio Moro update_board does not coreclean if --no-frills prerelease