Am 09.01.19 um 20:44 schrieb Matthias Seidel:
There is more than minor.mk.
I will try to take care of it...
hm, don't we have now a little script for this? To identify all the
places that need tobe changed? IMHO it should be somewhere in devtools.
Marcus
Am 09.01.19 um 20:41 schrieb Jim Jagielski:
All done
On Jan 9, 2019, at 2:21 PM, Matthias Seidel <[email protected]> wrote:
9800
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
