comment

diff --git a/doc/todo/memory_use_increase/comment_5_786f9bfe6de60d199cb4ff56fe55cdde._comment b/doc/todo/memory_use_increase/comment_5_786f9bfe6de60d199cb4ff56fe55cdde._comment
new file mode 100644 (file)
index 0000000..138743b
--- /dev/null
+++ b/doc/todo/memory_use_increase/comment_5_786f9bfe6de60d199cb4ff56fe55cdde._comment
@@ -0,0 +1,11 @@
+[[!comment format=mdwn
+ username="joey"
+ subject="""comment 5"""
+ date="2020-10-13T16:22:53Z"
+ content="""
+Profiling a non-optimised build, the PINNED went up to 90+mb.
+
+So, it seems likely that the profile is missing some of the pinned memory
+due to it being used too briefly to show get recorded, and that it's the
+main culprit.
+"""]]