make sure mono time uses atomics
authorChristian Grothoff <christian@grothoff.org>
Thu, 13 Dec 2018 16:58:39 +0000 (17:58 +0100)
committerChristian Grothoff <christian@grothoff.org>
Thu, 13 Dec 2018 16:58:39 +0000 (17:58 +0100)
commit63462a4dddd238e439360e2e70ecaa9366066fc5
tree483dec5d9857707ce731eba5f6fdd51dcc1cc367
parentbdb3420bc937f0ab9187695a56f0e63d7c227f00
make sure mono time uses atomics
configure.ac
po/POTFILES.in
src/util/time.c