diff auto/configure @ 3942:2e8dbd773d63

fix r3756: release lock to allow other process to delete cache node patch by Maxim Dounin
author Igor Sysoev <igor@sysoev.ru>
date Tue, 19 Jul 2011 10:35:02 +0000
parents b5c169873c6b
children d620f497c50f
line wrap: on
line diff