diff options
-rw-r--r-- | CHANGES | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -1,5 +1,11 @@ | |||
1 | CHANGES: | 1 | CHANGES: |
2 | 2 | ||
3 | CHANGE 84: BGe 18-Nov-13 | ||
4 | * Fix a deadlock when GCing during a linda operation. | ||
5 | * Fix a compilation warning about an unused variable | ||
6 | * Get rid of uintptr_t to remove dependency on stdint.h | ||
7 | * Fix internal error at lane creation when the generator doesn't open any base library | ||
8 | |||
3 | CHANGE 83: BGe 16-Nov-13 | 9 | CHANGE 83: BGe 16-Nov-13 |
4 | * version 3.7.2 | 10 | * version 3.7.2 |
5 | * Fixed function returned by lanes.genlock() not handling numeric keys properly when release lock | 11 | * Fixed function returned by lanes.genlock() not handling numeric keys properly when release lock |