diff options
| author | Andreas Fuchs | 2020-11-29 22:59:23 -0500 |
|---|---|---|
| committer | notgne2 | 2020-12-02 10:24:23 -0700 |
| commit | 7436f4265b760b87ef5763eb7833e7618c9c1d55 (patch) | |
| tree | 4eca2bb7a65a7f97856ab3d223470f8b2ef226ea /src/utils/push.rs | |
| parent | 65a2f1b18dc26e54b6ea1d59331c6873fc0e589b (diff) | |
Reinstate NoProfileUser
Seems to have been removed by mistake in the previous cleanup
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions