Build wurde durch eine SCM-Änderung ausgelöst.1326e5cd88a167d9fda50204d5445dd635971e3a2926e5cd88a167d9fda50204d5445dd635971e3a29refs/remotes/origin/master26e5cd88a167d9fda50204d5445dd635971e3a2926e5cd88a167d9fda50204d5445dd635971e3a29refs/remotes/origin/master26e5cd88a167d9fda50204d5445dd635971e3a2926e5cd88a167d9fda50204d5445dd635971e3a29refs/remotes/origin/masterhttps://github.com/lep/jhcr.gitjhcrjhcrjhcrfalse#13115865470JHCR #1313falsefalse13879SUCCESS1556053811165https://grill.wurstlang.org/hudson/view/all/job/JHCR/13/Main.hsHot/Instruction/Opt/Rewrite.hsJass/Opt/Rewrite.hs09423e8a74780260082ccdb3f50a891f118f7efc1556053306000https://grill.wurstlang.org/hudson/user/lep.deletelep.deletelep.delete@googlemail.comSmall cleanup 2019-04-23 23:01:46 +020009423e8a74780260082ccdb3f50a891f118f7efcSmall cleanupeditMain.hseditJass/Opt/Rewrite.hseditHot/Instruction/Opt/Rewrite.hsHot/Instruction/Opt/Rewrite.hsMain.hs3280fb63ff0655fe5be1c14046e90ff2b12308cc1556053306000https://grill.wurstlang.org/hudson/user/lep.deletelep.deletelep.delete@googlemail.comMore rewrite rules 2019-04-23 23:01:46 +02003280fb63ff0655fe5be1c14046e90ff2b12308ccMore rewrite ruleseditHot/Instruction/Opt/Rewrite.hseditMain.hsJass/Parser.hs26e5cd88a167d9fda50204d5445dd635971e3a291556053307000https://grill.wurstlang.org/hudson/user/lep.deletelep.deletelep.delete@googlemail.comHandle hexadecimals of the form $123 correctly 2019-04-23 23:01:47 +020026e5cd88a167d9fda50204d5445dd635971e3a29Handle hexadecimals of the form $123 correctlyeditJass/Parser.hsgithttps://grill.wurstlang.org/hudson/user/lep.deletelep.delete