diff options
Diffstat (limited to 'doc/bugs/unable_to_decommit_memory__58___Invalid_argument/comment_7_e31ee8f49bf5f73620209c524f1edb3d._comment')
| -rw-r--r-- | doc/bugs/unable_to_decommit_memory__58___Invalid_argument/comment_7_e31ee8f49bf5f73620209c524f1edb3d._comment | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/bugs/unable_to_decommit_memory__58___Invalid_argument/comment_7_e31ee8f49bf5f73620209c524f1edb3d._comment b/doc/bugs/unable_to_decommit_memory__58___Invalid_argument/comment_7_e31ee8f49bf5f73620209c524f1edb3d._comment new file mode 100644 index 000000000..08e3364ca --- /dev/null +++ b/doc/bugs/unable_to_decommit_memory__58___Invalid_argument/comment_7_e31ee8f49bf5f73620209c524f1edb3d._comment @@ -0,0 +1,11 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 7""" + date="2016-12-12T17:30:03Z" + content=""" +Can you please check if the current builds still have the "unable to +decommit memory" problem or not? + +(What it does after that error is probably nondeterministic, fixing that +error is the crucial thing.) +"""]] |