2018-11-13 - tools
17:40 <arturo> remove misctools 1.31 and jobutils 1.30 from the stretch-tools repo (T207970)