diff frontends/src/quick_frontend/quick_list_manager.py @ 2430:3faf18111d61

plugin tickets: fill reporter field when it is not already filled
author Goffi <goffi@goffi.org>
date Sat, 11 Nov 2017 18:39:26 +0100
parents 2daf7b4c6756
children
line wrap: on
line diff