14 Nov
2017
14 Nov
'17
10:03
On Tue, 2017-11-14 at 10:47 +0100, Martin Herkt wrote:
I’m just wondering why publishing has been disabled for the devel:tools project. Maybe this could be explained in a comment on the project page? It is enabled now - I have no idea why it was disabled.
Cheers M