@Christopher, sorry had a tab opened (but never came back to it) to confirm I'm now running 3.13.0-32-generic #57-Ubuntu which includes the fix and I didn't encounter the bug anymore (while still heavily using the offending config/command) so I'm confident it's fixed.
@Christopher, sorry had a tab opened (but never came back to it) to confirm I'm now running 3.13.0-32-generic #57-Ubuntu which includes the fix and I didn't encounter the bug anymore (while still heavily using the offending config/command) so I'm confident it's fixed.