[00:41:28] <rmc>	 hi 
[15:29:28] <bearND>	 niedzielski: Is it ok for me to merge https://github.com/wikimedia/wikimedia-page-library/pull/147?