[Nix-dev] jira back online: new server

[Martin Bravenboer]

Hi,

JIRA, the issue tracking system we use for Stratego/XT and related 
projects, is back online at a new server:

https://bugs.cs.uu.nl

Please let me know if you experience or observe any problems.

Cheers,
-- 
Martin Bravenboer
---------------------------------------------------------------------
Center for Software Technology
Institute of Information and Computing Sciences
Utrecht University