First time here? Check out the FAQ!
answered 2017-05-19 16:55:19 +0100
You could try "make micro_release" to eliminate some unneeded files.