tree 5265ea8be1a0e938bab56f6ff6716e632d6647e7
parent c89952eb46e6b7e2de59bc3970015c7e86b20e12
author Joachim Bingel <joa.bingel@gmail.com> 1402562961 +0000
committer Joachim Bingel <joa.bingel@gmail.com> 1402562961 +0000

pqplus bugfix for shrinks