diff options
Diffstat (limited to 'history.txt')
| -rwxr-xr-x | history.txt | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/history.txt b/history.txt index 5a41f5a..4d17e3e 100755 --- a/history.txt +++ b/history.txt @@ -2341,3 +2341,8 @@ ______ 1411213 ------- * Threads: Fix “stop this block” primitive for tail-call-elimination + +1411214 +------- +* Threads: Fixed #318 + |
