Merge "Linker: Fix fatal error for "/* */" in an edit summary"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 19 May 2019 21:37:51 +0000 (21:37 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 19 May 2019 21:37:51 +0000 (21:37 +0000)
commit6b3b17ea5a421b53598654b4c4fbf39992125a8c
treec13884dc76abda16977222fc943bfd504e2b8779
parent99b764f336761baa1832d8aaa5cc45b9347390e7
parent63cf83e089a962cec3603fac209b33679430e075
Merge "Linker: Fix fatal error for "/*  */" in an edit summary"