Lunny Xiao 622552b709 Fix deleted milestone bug (#1942) (#2300) ... * Fix deleted milestone bug * Use locale for ghost milestone name * Fix pointer bug		2017-08-13 19:18:57 -03:00
..
gitignore
label
license
locale	Fix deleted milestone bug (#1942) (#2300)	2017-08-13 19:18:57 -03:00
readme