branch scratch/flymake-diagnostics-buffer deleted (was 786b892d410)

[Stefan Monnier]

monnier pushed a change to branch scratch/flymake-diagnostics-buffer.

       was  786b892d410 Add mode map to diagnostic button

This change permanently discards the following revisions:

  discards  786b892d410 Add mode map to diagnostic button
  discards  9412afa5f60 Tweak the Flymake diagnostics buffer again
  discards  ed0486535d6 Simplify Flymake diagnostics buffer UX
  discards  ef94e5ae2ca First stab at a Flymake diagnostics buffer
  discards  200f7ef1521 Fix flymake-goto-next-error when message has 
%-constructs