Bound the number of attempts my_mkstemps tries to compute a file name#2421
Merged
tautschnig merged 1 commit intodiffblue:developfrom Jun 23, 2018
Merged
Bound the number of attempts my_mkstemps tries to compute a file name#2421tautschnig merged 1 commit intodiffblue:developfrom
tautschnig merged 1 commit intodiffblue:developfrom
