Bug#766732: Further update...

[Brian Drummond]

By running the following script I have found who owns the errant "pool"
process, and it is gvfsd-dav.

Script (crude but it works!): 
------------------------------------------------
#!/bin/bash

while true; do
   pstree -p | grep pool -B 5 >> pool.log
   sleep 0.5
done
------------------------------------------------

dmesg (after the segfault:

[12572.499279] pool[3175]: segfault at 0 ip 00007fe75d926aca sp
00007fe75afd9cb8 error 4 in libc-2.19.so[7fe75d8a5000+19f000]

------------------------------------------------

"pstree" excerpt from the log file (pool.log):
           |-gvfsd-dav(2970)-+-{dconf worker}(2974)
           |                 |-{gdbus}(2971)
           |                 |-{pool}(3175)
           |                 `-{pool}(3176)

Will update further if I succeed in getting a traceback from gvfsd-dav.

-- Brian