{"shas":[["3635944b18dcfd8f01caf456a979b535b1b1d76c","ae46817e8cfd87b96229b9eab8252e18fee2e17a@aisnb05.informatik.informatik.uni-leipzig.de","[feature] add missing ui configuration for random seed settings","U-AISNB05\\Administrator"],["d472de447effb6e57f03fb26eb4f01af7c57b7a1","ae46817e8cfd87b96229b9eab8252e18fee2e17a@aisnb05.informatik.informatik.uni-leipzig.de","[fix] disable junit addon tasks for now, there seems to be a clash between\nthe groovy versions of a build plugin and the groovy dependency of junit-correction","U-AISNB05\\Administrator"]],"ref":"refs/heads/master","push_id":20912189,"head":"d472de447effb6e57f03fb26eb4f01af7c57b7a1","size":2}