Added a patch to fix build on Ubuntu 18.10.

While at it, do a formal version bump.
3 files changed
tree: 8d1cfd2267d9bfed637100e5ce1cd1b5272ccb2b
  1. debian/
  2. rpm/
  3. .hgtags
  4. build_module.sh