From: Erik V. <vo...@xs...> - 2012-02-11 21:31:36
|
Sorry guys, I'm visiting Rome with my wife, which makes me a bit slow in checking email. It's commit c60ac2a4 "Fix for 1835 bug: BY presidency not transferred during start round.", which is in origin/master, so it must exist in the repo. And git tells me I have nothing to push. On my side the bug appears to be fixed. This commit adds a new statement in StartRound.java line 303: if (comp.hasStarted()) comp.checkPresidency(); // Needed for 1835 BY I hope this helps... Erik. > Erik: > it seems that you forgot to push this fix. > In master the bug still occurs and I have not found > anything in the git logs. > Could you please double-check again? > Thanks, > Stefan > > On 02/07/2012 11:03 PM, Erik Vos wrote: >> Fixed. No presidency check was done in start rounds, this has now been >> added. |