Okay, I'm aware it was leaking in there previously, and this was noted on the drawn map (which I think you have a copy of) for the roofers to fix.
Whether or not they've fixed it, is unknown, however as others have said, the room will still be damp.
What it needs to counter this, is mainly extraction ventilation, regardless of whether or not the room is heated (proper lighting in there and regular footfall may add to this anyway). It probably wouldn't hurt the hackspace as a whole for somewhere to have extraction to help encourage air egress and prevent damp, mould, etc. In mabgate we had mould growing on the ceiling from condensation, and we certainly have air coming in from the front doors (which is good) but it needs encouragement to blow through the Hackspace (especially since the toilet windows are now sealed from what I can tell, temporarily or otherwise).
If there's a door or window on that room (if I recall there's a door to outside there) perhaps that could be used to have a fan installed on it, in fact, you can get fans which have humidity sensors built into them (these were installed in the last house I rented to counter act this exact problem). However, this is of course, ideal scenario, these fans were designed to run constantly at a low speed to provide constant airflow, and then speed up when humidity increased (even though I don't have links to these right now, at least this may be increasing awareness of this type of thing for everyone reading this, and at least it's a note to myself).
Of course we could buy/hire/whatever dehumidifiers, I personally don't like the idea of running a huge machine to purely collect water that has to be thrown out, I'm not convinced that's a workable solution, but if the humidity's really high in there at present and the source has been eliminated then it may help initially.