[tor-commits] [manual/develop] Merge branch 'mobile-tor-topic-not-uppercase#32'

[gus at torproject.org]

commit f9eb24be503a5034cd89eb188c7647c4fa3f70be
Merge: b2ec64b fd85819
Author: gus <gus at torproject.org>
Date:   Mon Apr 13 14:30:50 2020 -0400

    Merge branch 'mobile-tor-topic-not-uppercase#32'

 content/mobile-tor/contents.lr | 2 +-
 databags/topics.ini            | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)