debian/source/options
author Philippe Pepiot <ph@itsalwaysdns.eu>
Mon, 30 Mar 2020 15:19:23 +0200
changeset 12959 39ee325e6758
parent 12718 cc55093cc86d
permissions -rw-r--r--
[server] avoid a possible race condition on _CnxSetPool.close() The pool could become empty between time to check and time to use.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
12718
cc55093cc86d [debian] Cleanup d/source/options from now gone symlinks
Denis Laxalde <denis.laxalde@logilab.fr>
parents: 12642
diff changeset
     1
extend-diff-ignore = "^(__pkginfo__\.py$|doc/_themes/cubicweb/static/(logo-cubicweb-small\.svg|cubicweb\.ico|logo-cubicweb\.svg)$|cubicweb\.spec$|setup\.cfg$|cubicweb/misc/cwfs)"