Changes between Initial Version and Version 1 of Ticket #23637, comment 27


Ignore:
Timestamp:
09/01/17 13:43:52 (4 years ago)
Author:
mderickx
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #23637, comment 27

    initial v1  
    55}}}
    66
    7 so I agree with Jeroen that his version solve the main problem of this ticket, namely make the results of the patchbot reliable again. So positive review from me.
     7so I agree with Jeroen that his branch solves the main problem of this ticket, namely make the results of the patchbot reliable again. So positive review from me.
    88
    99I understand that having doctests pass for multiple normaliz versions is something nice to have since it makes it easier to upgrade normaliz. But let's fix that problem for during the next upgrade of normaliz and not waste any more time on this ticket so that we can get consistent patchbot behaviour again.