[arch-commits] Commit in (leveldb)

[Antonio Rojas via arch-commits]

    Date: Sunday, March 7, 2021 @ 09:50:59
  Author: arojas
Revision: 409456

extra2community: Moving leveldb from extra to community

Deleted:
  leveldb/