Merge branch 'master' into eddie/pr1266_again

diff --cc CHANGELOG
index 21fb8a3f5415c528c4bdbcc0a57654d87125c34d,8dbe1aee398b7355bd676755179682dc4fa7e735..291c8d249d0a752e1ed219b9ea689d41b95c1703
--- 1/CHANGELOG
--- 2/CHANGELOG
+++ b/CHANGELOG
@@@ -19,8 -19,7 +19,9 @@@ Yosys 0.9 .. Yosys 0.9-de
      - Added automatic gzip compression (based on filename extension) for backends
      - Improve attribute and parameter encoding in JSON to avoid ambiguities between
        bit vectors and strings containing [01xz]*
+     - Added "opt_share" pass, run as part of "opt -full"
 +    - Added "ice40_wrapcarry" to encapsulate SB_LUT+SB_CARRY pairs for techmapping
 +    - Removed "ice40_unlut"
  
  Yosys 0.8 .. Yosys 0.8-dev
  --------------------------