move propagator to unmaintained

Authored by bshah on May 17 2020, 4:56 AM.

Description

move propagator to unmaintained

Details

Committed
bshahMay 17 2020, 4:56 AM
Parents
R247:c2be04f6fe4c: Drop stray i18n.json
Branches
Unknown
Tags
Unknown