Richard van der Hoff bd25f9cf36 Clean up work_mem handling
Add some comments and improve exception handling when twiddling work_mem for
the search update
2018-02-03 23:05:41 +00:00
..
2017-11-29 16:00:46 +00:00
2018-01-26 00:15:10 +00:00
2018-01-29 15:49:06 +00:00
2018-01-24 11:07:47 +01:00
2018-02-03 23:05:41 +00:00
2018-01-05 10:54:01 +00:00
2018-01-29 17:39:55 +00:00