#446: fix a bug with time limits which are less than 1 sec#447

Merged

fukatani merged 1 commit intomasterfrom issue/446

Jun 14, 2019

+25-2

Commits on Jun 13, 2019

#446 : fix a bug with time limits which are less than 1 sec, of
kmyk
committed