Geert 8cb5b67f53
Update updating.markdown (#12273)
Minor textual fixes and readability improvements.

Additionally, is the part for the Raspberry Pi Docker container also correct for a RasPi 4? The 'docker pull' commands suggests it's for a RasPi 3...
2020-03-06 14:05:27 +01:00
..
2019-10-08 16:55:32 +02:00
2019-11-01 08:57:40 +01:00
2020-02-13 19:39:47 +01:00