Up-to-date integration of Pinboard and Woocommerce

Thank you for this wonderful theme, Daniel! I am running it on two websites and I love its flexibility concerning colours and design. The only topic I am struggling with is updating because I am running a little Woocommerce shop on one of my websites. Is anybody here who has any experiences with running the current versions of WordPress, Pinboard and Woocommerce together (May 2016)? Once I tried to update – fortunately on a testing site, months ago – I had to face the fact that the products one had shopped didn’t appear in the card – which seemed to be a major bug to me … 😉 I know that Pinboard is not really made for Woocommerce but with my (older) versions it is doing quite well and I wouldn’t like to endanger a running system.