<commit_before>ARDUINO 1.6.13

[ide]
* Improved robustness of Serial Plotter while dealing with malformed or partial data. Thanks @xloem.
* Fixed regression on command line upload.
* Bugifx installing libraries from command line: the IDE tries to update the libraries index but it
  didn't use it straight away (this caused issues mainly on CI environments)
* Libraries and Boards Managers: if a download error happens (CRC error) the IDE tries to download the file again
  without the need to remove the corrupted file manually.
* Improved serial plotter with horizontal axis and grid. Thanks @duff2013

[core]
* avr: set default values for "upload.verify" and "program.verify" (allows compatibility with older IDE). Thanks @per1234

ARDUINO 1.6.12 - 2016.09.21<commit_msg>Updated revision log<commit_after>ARDUINO 1.6.13 - 2016.11.22

[ide]
* Improved robustness of Serial Plotter while dealing with malformed or partial data. Thanks @xloem.
* Fixed regression on command line upload.
* Bugifx installing libraries from command line: the IDE tries to update the libraries index but it
  didn't use it straight away (this caused issues mainly on CI environments)
* Libraries and Boards Managers: if a download error happens (CRC error) the IDE tries to download the file again
  without the need to remove the corrupted file manually.
* Improved serial plotter with horizontal axis and grid. Thanks @duff2013
* Windows: Improved DPI detection
* Fixed a bunch of small bugs in the editor.

[core]
* avr: set default values for "upload.verify" and "program.verify" (allows compatibility with older IDE). Thanks @per1234

ARDUINO 1.6.12 - 2016.09.21
{'fraction_non_alphanumeric': 0.0588949605343048, 'fraction_numerical': 0.03400121432908318, 'mean_word_length': 4.5675675675675675, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 4, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '7526596', 'n_tokens_mistral': 499, 'n_tokens_neox': 431, 'n_words': 231}