On 11/28/18 10:27 AM, Oliver Smith wrote:
On 11/27/18 6:57 PM, Max wrote:
Is the patch removing it from old location available already?
I'll put up the patches soon. (Pau had requested to make one patch for reach moved dir, not one patch that does it all.)
Done: https://gerrit.osmocom.org/#/q/topic:move-manuals+status:open