Skip to navigation

Question:
Update all docker images

Programmer time is expensive, conserve it in preference to machine time.